scientific article

zbMath1096.03029MaRDI QIDQ3367316

Judit X. Madarász, Istvan Németi, Hajnalka Andréka

Publication date: 24 January 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

first-order logicspecial relativitylogical analysis of relativity theory

Mathematics Subject Classification ID

Special relativity (83A05) Classical first-order logic (03B10) Other applications of logic (03B80)

Related Items

DISTANCES BETWEEN FORMAL THEORIES ⋮ The existence of superluminal particles is consistent with relativistic dynamics ⋮ On the epistemological significance of the Hungarian project ⋮ Proof verification and proof discovery for relativity ⋮ Axiomatizing relativistic dynamics using formal thought experiments ⋮ Motion and observation in a single-particle universe ⋮ On the axiomatizability of some first-order spatio-temporal theories ⋮ An axiomatic foundation of relativistic spacetime ⋮ Evidence, explanation and enhanced indispensability ⋮ Equivalent explanations and mathematical realism. Reply to ``Evidence, explanation, and enhanced indispensability ⋮ Computing the appearance of physical reality ⋮ A formal construction of the spacetime manifold ⋮ Intrinsic, extrinsic, and the constitutive a priori ⋮ The Significance of Relativistic Computation for the Philosophy of Mathematics ⋮ In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics ⋮ Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL