scientific article; zbMATH DE number 5046176

zbMath1102.03037MaRDI QIDQ5482812

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

Publication date: 15 August 2006

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

zbMATH Keywords

first-order logicgeneral relativityspecial relativitycompleteness theoremaccelerated observerslocal theoryreverse geometryfaster-than-light motionAlexandrov-Zeeman type theoremfoundation of space-timereverse spacetime theory

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Research exposition (monographs, survey articles) pertaining to relativity and gravitational theory (83-02) Special relativity (83A05) Other applications of logic (03B80)

Related Items (15)

Linear and affine logics with temporal, spatial and epistemic operators ⋮ Changing a Semantics: Opportunism or Courage? ⋮ Special relativity over the field of rational numbers ⋮ 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 ⋮ A logic road from special relativity to general relativity ⋮ A geometrical characterization of the twin paradox and its variants ⋮ Axiomatic derivation of the Doppler factor and related relativistic laws ⋮ Foundations of applied mathematics. I ⋮ The existence of superluminal particles is consistent with the kinematics of Einstein's special theory of relativity ⋮ The existence of superluminal particles is consistent with relativistic dynamics ⋮ Axiomatizing relativistic dynamics without conservation postulates ⋮ Logic and relativity theory ⋮ An axiomatic foundation of relativistic spacetime ⋮ A Survey on Analog Models of Computation

This page was built for publication: