{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T22:31:17Z","timestamp":1726439477310},"reference-count":13,"publisher":"World Scientific Pub Co Pte Ltd","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Parallel Process. Lett."],"published-print":{"date-parts":[[2012,9]]},"abstract":"<jats:p> In this paper we investigate the logical decidability and undecidability properties of relativity theories. If we include into our theory the whole theory of the reals, then relativity theory still can be decidable. However, if we actually assume the structure of the quantities in our models to be the reals, or at least to be Archimedean, then we get possible predictions in the language of relativity theory which are independent of ZF set theory. <\/jats:p>","DOI":"10.1142\/s0129626412400117","type":"journal-article","created":{"date-parts":[[2012,7,6]],"date-time":"2012-07-06T12:01:09Z","timestamp":1341576069000},"page":"1240011","source":"Crossref","is-referenced-by-count":1,"title":["DECIDABILITY, UNDECIDABILITY, AND G\u00d6DEL'S INCOMPLETENESS IN RELATIVITY THEORIES"],"prefix":"10.1142","volume":"22","author":[{"given":"HAJNAL","family":"ANDR\u00c9KA","sequence":"first","affiliation":[{"name":"Alfr\u00e9d R\u00e9nyi Institute of Mathematics, Hungarian Academy of Sciences, 13-15 Re\u00e1ltanoda u. Budapest, 1053, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JUDIT","family":"MADAR\u00c1SZ","sequence":"additional","affiliation":[{"name":"Alfr\u00e9d R\u00e9nyi Institute of Mathematics, Hungarian Academy of Sciences, 13-15 Re\u00e1ltanoda u. Budapest, 1053, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ISTV\u00c1N","family":"N\u00c9METI","sequence":"additional","affiliation":[{"name":"Alfr\u00e9d R\u00e9nyi Institute of Mathematics, Hungarian Academy of Sciences, 13-15 Re\u00e1ltanoda u. Budapest, 1053, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2012,7,8]]},"reference":[{"key":"rf1","series-title":"Logical analysis of special relativity theory","volume-title":"Essays dedicated to Johan van Benthem on the occasion of his 50th birthday","author":"Andr\u00e9ka H.","year":"1999"},{"doi-asserted-by":"publisher","key":"rf3","DOI":"10.1007\/s11225-010-9253-7"},{"doi-asserted-by":"publisher","key":"rf5","DOI":"10.1007\/978-1-4020-5587-4_11"},{"doi-asserted-by":"crossref","unstructured":"D.\u00a0Lewis, David Lewis Philosophical Papers Vol. II, The paradoxes of time travel (Oxford University Press, 1986)\u00a0pp. 67\u201380.","key":"rf6","DOI":"10.1093\/0195036468.003.0003"},{"doi-asserted-by":"publisher","key":"rf9","DOI":"10.1007\/978-3-642-69418-9"},{"doi-asserted-by":"publisher","key":"rf10","DOI":"10.1007\/978-1-4684-6345-3"},{"key":"rf11","volume-title":"Model Theory, Algebra and Geometry","volume":"39","author":"van den Dries L.","year":"2000"},{"doi-asserted-by":"publisher","key":"rf12","DOI":"10.1007\/978-3-662-22156-3"},{"doi-asserted-by":"publisher","key":"rf13","DOI":"10.1007\/978-1-4684-9452-5"},{"volume-title":"Classical Recursion Theory","year":"1984","author":"Odifreddi P.","key":"rf15"},{"unstructured":"J.\u00a0van Benthem, Arrow Logic and Multimodal Logic, Content versus wrapping: an essay in semantic complexity, eds. M.\u00a0Marx, L.\u00a0P\u00f3los and M.\u00a0Masuch (CSLI Publications, Stanford, 1996)\u00a0pp. 203\u2013219.","key":"rf18"},{"key":"rf20","first-page":"195","volume":"13","author":"Sain I.","journal-title":"CL&CL"},{"unstructured":"H.\u00a0Andr\u00e9ka, Time and Logic, a computational approach, eds. L.\u00a0Bolc and A.\u00a0Szalas (UCL Press, London, 1995)\u00a0pp. 51\u2013129.","key":"rf22"}],"container-title":["Parallel Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129626412400117","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T13:18:07Z","timestamp":1565097487000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129626412400117"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,8]]},"references-count":13,"journal-issue":{"issue":"03","published-online":{"date-parts":[[2012,7,8]]},"published-print":{"date-parts":[[2012,9]]}},"alternative-id":["10.1142\/S0129626412400117"],"URL":"https:\/\/doi.org\/10.1142\/s0129626412400117","relation":{},"ISSN":["0129-6264","1793-642X"],"issn-type":[{"type":"print","value":"0129-6264"},{"type":"electronic","value":"1793-642X"}],"subject":[],"published":{"date-parts":[[2012,7,8]]}}}