Investigations of isotropy and homogeneity of spacetime in first-order logic
From MaRDI portal
Publication:2159931
DOI10.1016/j.apal.2022.103153OpenAlexW4286206431MaRDI QIDQ2159931
Mike Stannett, Judit X. Madarász, Gergely Székely
Publication date: 2 August 2022
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2022.103153
Special relativity (83A05) Classical first-order logic (03B10) Foundations of classical theories (including reverse mathematics) (03B30) Other applications of logic (03B80)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A logic road from special relativity to general relativity
- On the epistemological significance of the Hungarian project
- Proof verification and proof discovery for relativity
- Formal statement of the special principle of relativity
- A star in the Minkowskian sky: anisotropic special relativity
- Spatial directions, anisotropy and special relativity
- Axiomatizing relativistic dynamics without conservation postulates
- Orthogonality and spacetime geometry
- Using Isabelle/HOL to verify first-order relativity theory
- On the fundamental theorem of the theory of relativity
- Special relativity over the field of rational numbers
- Why do the relativistic masses and momenta of faster-than-light particles decrease as their speeds increase?
- Alexandrov-Zeeman type theorems expressed in terms of definability
- Axiomatization of Special Relativity in First Order Logic
- Using Mathematics to Explain a Scientific Theory
- In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics
- GROUPS OF WORLDVIEW TRANSFORMATIONS IMPLIED BY EINSTEIN’S SPECIAL PRINCIPLE OF RELATIVITY OVER ARBITRARY ORDERED FIELDS
- Comparing Theories: The Dynamics of Changing Vocabulary
- THREE DIFFERENT FORMALISATIONS OF EINSTEIN’S RELATIVITY PRINCIPLE
This page was built for publication: Investigations of isotropy and homogeneity of spacetime in first-order logic