Formal statement of the special principle of relativity

DOI10.1007/S11229-013-0374-1zbMath1360.83004arXiv1109.2374OpenAlexW2104023258MaRDI QIDQ514581

Márton Gömöri, Lázló E. Szabó

Publication date: 9 March 2017

Published in: Synthese (Search for Journal in Brave)

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

zbMATH Keywords

covarianceoperationalismspecial relativity principleuniversal meta-law

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Einstein's equations (general structure, canonical formalism, Cauchy problems) (83C05) Special relativity (83A05) Other applications of logic (03B80)

Related Items (4)

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 ⋮ THREE DIFFERENT FORMALISATIONS OF EINSTEIN’S RELATIVITY PRINCIPLE ⋮ Using Isabelle/HOL to verify first-order relativity theory

Cites Work

• Another look at general covariance and the equivalence of reference frames
• Coordinates, observables and symmetry in relativity
• On the meaning of Lorentz covariance
• On the question of temperature transformations under Lorentz and Galilei boosts
• Quantum Gravity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal statement of the special principle of relativity