GROUPS OF WORLDVIEW TRANSFORMATIONS IMPLIED BY EINSTEIN’S SPECIAL PRINCIPLE OF RELATIVITY OVER ARBITRARY ORDERED FIELDS
From MaRDI portal
Publication:5078813
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)
first-order logictransformation groupsaxiomatizationrelativity theoryclassical spacetimespecial principle of relativity
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)
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