Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime

DOI10.1016/j.apal.2022.103100OpenAlexW4210675031MaRDI QIDQ2120977

Gergely Székely, Judit X. Madarász, Hajnalka Andréka, Istvan Németi

Publication date: 1 April 2022

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2112.15152

zbMATH Keywords

first-order logicMinkowski spacetimerelativity theoryquantifier complexitydefinability theorydefinable concepts

Mathematics Subject Classification ID

Special relativity (83A05) Classical first-order logic (03B10) Algebraic logic (03G99) Foundations of classical theories (including reverse mathematics) (03B30) Interpolation, preservation, definability (03C40)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A system of axioms for Minkowski spacetime
• A generalization of the Łoś-Tarski preservation theorem
• Orthogonality and spacetime geometry
• Nondirected light signals and the structure of time
• Alexandrov-Zeeman type theorems expressed in terms of definability
• A note on ‘Einstein's special relativity beyond the speed of light by James M. Hill and Barry J. Cox’
• A new topology for curved space–time which incorporates the causal, differential, and conformal structures
• The class of continuous timelike curves determines the topology of spacetime

This page was built for publication: Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime