THREE DIFFERENT FORMALISATIONS OF EINSTEIN’S RELATIVITY PRINCIPLE

DOI10.1017/S1755020317000065zbMath1421.03004arXiv1702.08519MaRDI QIDQ5357328

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

Publication date: 15 September 2017

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

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

zbMATH Keywords

first-order logicspecial relativityaxiomatic methodrelativity theoryspecial principle of relativity

Mathematics Subject Classification ID

Special relativity (83A05) Foundations of classical theories (including reverse mathematics) (03B30) Other applications of logic (03B80)

Related Items (2)

Investigations of isotropy and homogeneity of spacetime in first-order logic ⋮ GROUPS OF WORLDVIEW TRANSFORMATIONS IMPLIED BY EINSTEIN’S SPECIAL PRINCIPLE OF RELATIVITY OVER ARBITRARY ORDERED FIELDS

Cites Work

• Unnamed Item
• Unnamed Item
• A logic road from special relativity to general relativity
• The existence of superluminal particles is consistent with relativistic dynamics
• Axiomatizing relativistic dynamics using formal thought experiments
• Formal statement of the special principle of relativity
• Axiomatizing relativistic dynamics without conservation postulates
• Axiomatic definition of the Galilean and Lorentz groups
• On the meaning of Lorentz covariance
• The existence of superluminal particles is consistent with the kinematics of Einstein's special theory of relativity
• Why do the relativistic masses and momenta of faster-than-light particles decrease as their speeds increase?
• Nothing but relativity
• Model Theory
• Faster than light motion does not imply time travel

This page was built for publication: THREE DIFFERENT FORMALISATIONS OF EINSTEIN’S RELATIVITY PRINCIPLE