Author dc.contributor.author | Madarász Judit X. | |
Author dc.contributor.author | Stannett Mike | |
Author dc.contributor.author | Székely Gergely | |
Availability Date dc.date.accessioned | 2023-03-28T09:37:48Z | |
Availability Date dc.date.available | 2023-03-28T09:37:48Z | |
Release dc.date.issued | 2022 | |
Issn dc.identifier.issn | 1873-2461 | |
Issn dc.identifier.issn | 0168-0072 | |
uri dc.identifier.uri | http://hdl.handle.net/20.500.12944/20299 | |
Abstract dc.description.abstract | We investigate the logical connection between (spatial) isotropy, homogeneity of space, and homogeneity of time within a general axiomatic framework. We show that isotropy not only entails homogeneity of space, but also, in certain cases, homogeneity of time. In turn, homogeneity of time implies homogeneity of space in general, and the converse also holds true in certain cases. An important innovation in our approach is that formulations of physical properties are simultaneously empirical and axiomatic (in the sense of first-order mathematical logic). In this case, for example, rather than presuppose the existence of spacetime metrics – together with all the continuity and smoothness apparatus that would entail – the basic logical formulas underpinning our work refer instead to the sets of (idealised) experiments that support the properties in question, e.g., isotropy is axiomatised by considering a set of experiments whose outcomes remain unchanged under spatial rotation. Higher-order constructs are not needed. | |
Language dc.language | en | |
Keywords dc.subject | First-order logic | |
Keywords dc.subject | Relativity theory | |
Keywords dc.subject | Classical spacetime | |
Keywords dc.subject | Homogeneity | |
Keywords dc.subject | Isotropy | |
Keywords dc.subject | Axiomatisation | |
Title dc.title | Investigations of isotropy and homogeneity of spacetime in first-order logic | |
Type dc.type | folyóiratcikk | |
Date Change dc.date.updated | 2023-03-27T13:47:04Z | |
Version dc.description.version | kiadói | |
dc.rights.accessRights | nyílt hozzáférésű | |
dc.description.notes | Export Date: 21 November 2022 CODEN: APALD Correspondence Address: Madarász, J.X.; Alfréd Rényi Institute of Mathematics, H-1053 Budapest, Reáltanoda st. 13-15, Hungary; email: madarasz.judit@renyi.hu | |
Doi ID dc.identifier.doi | 10.1016/j.apal.2022.103153 | |
Discipline Discipline + dc.subject.discipline | Természettudományok | |
dc.subject.sciencebranch | Természettudományok/Fizikai tudományok | |
MTMT ID dc.identifier.mtmt | 32873636 | |
dc.identifier.journalTitle | Annals of Pure and Applied Logic | |
dc.identifier.journalVolume | 173 | |
dc.identifier.journalIssueNumber | 9 | |
Scope dc.format.page | 1-35 | |
Wos ID dc.identifier.wos | 000816905100001 | |
ID Scopus dc.identifier.scopus | 85132315860 | |
dc.identifier.journalAbbreviatedTitle | ANN PURE APPL LOGIC | |
Author institution dc.contributor.department | Halmazelmélet Logika és Topológia | |
Author institution dc.contributor.department | Természettudományi Tanszék | |
Author institution dc.contributor.department | Matematika Doktori Iskola | |
Author institution dc.contributor.department | Katonai Logisztikai Intézet |