Szerző dc.contributor.author | Madarász Judit X. | |
Szerző dc.contributor.author | Stannett Mike | |
Szerző dc.contributor.author | Székely Gergely | |
Elérhetőség dátuma dc.date.accessioned | 2023-01-31T11:16:58Z | |
Rendelkezésre állás dátuma dc.date.available | 2023-01-31T11:16:58Z | |
Kiadás dc.date.issued | 2022 | |
Issn dc.identifier.issn | 1755-0211 | |
Issn dc.identifier.issn | 1755-0203 | |
Uri dc.identifier.uri | http://hdl.handle.net/20.500.12944/19682 | |
Kivonat dc.description.abstract | In 1978, Yu. F. Borisov presented an axiom system using a few basic assumptions and four explicit axioms, the fourth being a formulation of the relativity principle; and he demonstrated that this axiom system had (up to choice of units) only two models: a relativistic one in which worldview transformations are Poincar'e transformations and a classical one in which they are Galilean. In this paper, we reformulate Borisov’s original four axioms within an intuitively simple, but strictly formal, first-order logic framework, and convert his basic background assumptions into explicit axioms. Instead of assuming that the structure of physical quantities is the field of real numbers, we assume only that they form an ordered field. This allows us to investigate how Borisov’s theorem depends on the structure of quantities. We demonstrate (as our main contribution) how to construct Euclidean, Galilean, and Poincar´e models of Borisov's axiom system over every non-Archimedean field. We also demonstrate the existence of an infinite descending chain of models and transformation groups in each of these three cases, something that is not possible over Archimedean fields. As an application, we note that there is a model of Borisov's axioms that satisfies the relativity principle, and in which the worldview transformations are Euclidean isometries. Over the field of reals it is easy to eliminate this model using natural axioms concerning time’s arrow and the absence of instantaneous motion. In the case of non-Archimedean fields, however, the Euclidean isometries appear intrinsically as worldview transformations in models of Borisov’s axioms and neither the assumption of time’s arrow, nor the rejection of instantaneous motion, can eliminate them. Copyright © The Author(s), 2021. Published by Cambridge University Press. | |
Nyelv dc.language | en | |
Kulcsszó dc.subject | first-order logic | |
Kulcsszó dc.subject | relativity theory | |
Kulcsszó dc.subject | classical spacetime | |
Kulcsszó dc.subject | special principle of relativity | |
Kulcsszó dc.subject | transformation groups | |
Kulcsszó dc.subject | axiomatization | |
Cím dc.title | Groups of Worldview Transformations Implied by Einstein's Special Principle of Relativity over Arbitrary Ordered Fields | |
Típus dc.type | folyóiratcikk | |
Változtatás dátuma dc.date.updated | 2023-01-30T14:46:40Z | |
Változat dc.description.version | postprint | |
Hozzáférés dc.rights.accessRights | nyílt hozzáférésű | |
dc.description.notes | „A publikáció a Nemzeti Közszolgálati Egyetem 2020. évi Tématerületi Kiválóság Program keretében, a Fenntartható biztonság és társadalmi környezet elnevezésű projekt támogatásával valósult meg, az Innovációs és Technológiai Minisztérium Nemzeti Kutatási, Fejlesztési és Innovációs Alapból nyújtott támogatásával, a Nemzeti Kutatási, Fejlesztési és Innovációs Hivatal által kibocsátott támogatói okirat alapján.” Pályázat sorszáma: NKFIH-1273-6/2020 Támogató: NKFIH | |
Doi azonosító dc.identifier.doi | https://doi.org/10.1017/S1755020321000149 | |
Tudományág dc.subject.discipline | Természettudományok | |
Tudományterület dc.subject.sciencebranch | Természettudományok/Matematika- és számítástudományok | |
Mtmt azonosító dc.identifier.mtmt | 32622104 | |
Folyóirat dc.identifier.journalTitle | The Review of Symbolic Logic | |
Évfolyam dc.identifier.journalVolume | 15 | |
Füzetszám dc.identifier.journalIssueNumber | 2 | |
Terjedelem dc.format.page | 334-361 | |
Wos azonosító dc.identifier.wos | 000764387300001 | |
Scopus azonosító dc.identifier.scopus | 85103200018 | |
Folyóiratcím rövidítve dc.identifier.journalAbbreviatedTitle | REV SYMB LOGIC | |
Kiadás éve dc.description.issuedate | 2022 | |
Szerző intézménye dc.contributor.department | Halmazelmélet Logika és Topológia | |
Szerző intézménye dc.contributor.department | Természettudományi Tanszék | |
Szerző intézménye dc.contributor.department | Matematika Doktori Iskola | |
Szerző intézménye dc.contributor.department | Katonai Logisztikai Intézet |