Three different formalisations of Einstein's relativity principle

DOI10.1017/S1755020317000065MaRDI QIDQ5357328zbMATH OpenFDO

Authors Judit Madarász, Gergely Székely, Mike Stannett

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

axiomatic methodfirst-order logicrelativity theoryspecial principle of relativityspecial relativity

Mathematics Subject Classification ID

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

Abstract: We present three natural but distinct formalisations of Einstein's special principle of relativity, and demonstrate the relationships between them. In particular, we prove that they are logically distinct, but that they can be made equivalent by introducing a small number of additional, intuitively acceptable axioms.

Recommendations

• Formal statement of the special principle of relativity
• On the fundamental theorem of the theory of relativity
• scientific article; zbMATH DE number 1779188
• scientific article; zbMATH DE number 1442055
• scientific article; zbMATH DE number 1400090

Cites work

• A logic road from special relativity to general relativity
• Axiomatic definition of the Galilean and Lorentz groups
• Axiomatizing relativistic dynamics using formal thought experiments
• Axiomatizing relativistic dynamics without conservation postulates
• Faster than light motion does not imply time travel
• Formal statement of the special principle of relativity
• scientific article; zbMATH DE number 3304881 (Why is no real title available?)
• scientific article; zbMATH DE number 3082534 (Why is no real title available?)
• Model Theory
• Nothing but relativity
• On the meaning of Lorentz covariance
• The existence of superluminal particles is consistent with relativistic dynamics
• 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?

Cited in

(7)

• Investigations of isotropy and homogeneity of spacetime in first-order logic
• scientific article; zbMATH DE number 1222221 (Why is no real title available?)
• scientific article; zbMATH DE number 1769268 (Why is no real title available?)
• scientific article; zbMATH DE number 1779188 (Why is no real title available?)
• GROUPS OF WORLDVIEW TRANSFORMATIONS IMPLIED BY EINSTEIN’S SPECIAL PRINCIPLE OF RELATIVITY OVER ARBITRARY ORDERED FIELDS
• Formal statement of the special principle of relativity
• scientific article; zbMATH DE number 3892617 (Why is no real title available?)

This page was built for publication: Three different formalisations of Einstein's relativity principle

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5357328)