Investigations of isotropy and homogeneity of spacetime in first-order logic

Madarász, J.X., Stannett, M. orcid.org/0000-0002-2794-8614 and Székely, G. (2022) Investigations of isotropy and homogeneity of spacetime in first-order logic. Annals of Pure and Applied Logic, 173 (9). 103153. ISSN 0168-0072

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2022 The Author(s). Published by Elsevier B.V. This is an open access article under the CC BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/).
Keywords: First-order logic; Relativity theory; Classical spacetime; Homogeneity; Isotropy; Axiomatization
Dates:
  • Accepted: 1 June 2022
  • Published (online): 6 June 2022
  • Published: October 2022
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Funding Information:
FunderGrant number
LONDON MATHEMATICAL SOCIETY41508
Depositing User: Symplectic Sheffield
Date Deposited: 15 Jun 2022 13:17
Last Modified: 29 Jun 2022 16:29
Status: Published
Publisher: Elsevier
Refereed: Yes
Identification Number: https://doi.org/10.1016/j.apal.2022.103153

Share / Export

Statistics