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

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

zbMATH Keywords

first-order logichomogeneityisotropyaxiomatisationrelativity theoryclassical spacetime

Mathematics Subject Classification ID

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