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-03-28T09:37:48Z | |
Rendelkezésre állás dátuma dc.date.available | 2023-03-28T09:37:48Z | |
Kiadás 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 | |
Kivonat 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. | |
Nyelv dc.language | en | |
Kulcsszó dc.subject | First-order logic | |
Kulcsszó dc.subject | Relativity theory | |
Kulcsszó dc.subject | Classical spacetime | |
Kulcsszó dc.subject | Homogeneity | |
Kulcsszó dc.subject | Isotropy | |
Kulcsszó dc.subject | Axiomatisation | |
Cím dc.title | Investigations of isotropy and homogeneity of spacetime in first-order logic | |
Típus dc.type | folyóiratcikk | |
Változtatás dátuma dc.date.updated | 2023-03-27T13:47:04Z | |
Változat dc.description.version | kiadói | |
Hozzáférés 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 azonosító dc.identifier.doi | 10.1016/j.apal.2022.103153 | |
Tudományág dc.subject.discipline | Természettudományok | |
Tudományterület dc.subject.sciencebranch | Természettudományok/Fizikai tudományok | |
Mtmt azonosító dc.identifier.mtmt | 32873636 | |
Folyóirat dc.identifier.journalTitle | Annals of Pure and Applied Logic | |
Évfolyam dc.identifier.journalVolume | 173 | |
Füzetszám dc.identifier.journalIssueNumber | 9 | |
Terjedelem dc.format.page | 1-35 | |
Wos azonosító dc.identifier.wos | 000816905100001 | |
Scopus azonosító dc.identifier.scopus | 85132315860 | |
Folyóiratcím rövidítve dc.identifier.journalAbbreviatedTitle | ANN PURE APPL LOGIC | |
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 | 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 | |
Szerző intézménye dc.contributor.department | Halmazelmélet Logika és Topológia |