GROUPS OF WORLDVIEW TRANSFORMATIONS IMPLIED BY EINSTEIN’S SPECIAL PRINCIPLE OF RELATIVITY OVER ARBITRARY ORDERED FIELDS

DOI10.1017/S1755020321000149MaRDI QIDQ5078813

Mike Stannett, Judit X. Madarász, Gergely Székely

Publication date: 25 May 2022

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

first-order logictransformation groupsaxiomatizationrelativity theoryclassical spacetimespecial principle of relativity

Mathematics Subject Classification ID

Linear algebraic groups over arbitrary fields (20G15) Special relativity (83A05) Classical first-order logic (03B10) Foundations of classical theories (including reverse mathematics) (03B30) Other applications of logic (03B80)

Related Items (1)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the epistemological significance of the Hungarian project
• Proof verification and proof discovery for relativity
• Formal statement of the special principle of relativity
• Nonstandard analysis in classical physics and quantum formal scattering
• Axiomatic definition of the Galilean and Lorentz groups
• Using Isabelle/HOL to verify first-order relativity theory
• Special relativity over the field of rational numbers
• Using Mathematics to Explain a Scientific Theory
• Taking Physical Infinity Seriously
• Radically Elementary Probability Theory. (AM-117)
• Axiomatic relativity theory
• Comparing Theories: The Dynamics of Changing Vocabulary
• THREE DIFFERENT FORMALISATIONS OF EINSTEIN’S RELATIVITY PRINCIPLE

This page was built for publication: GROUPS OF WORLDVIEW TRANSFORMATIONS IMPLIED BY EINSTEIN’S SPECIAL PRINCIPLE OF RELATIVITY OVER ARBITRARY ORDERED FIELDS