Alexandrov-Zeeman type theorems expressed in terms of definability
From MaRDI portal
Publication:2474088
DOI10.1007/s00010-007-2885-7zbMath1141.03007OpenAlexW2019230789MaRDI QIDQ2474088
Publication date: 5 March 2008
Published in: Aequationes Mathematicae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00010-007-2885-7
Special relativity (83A05) Foundations of classical theories (including reverse mathematics) (03B30) Quadratic and bilinear forms, inner products (15A63) Linear incidence geometric structures with parallelism (51A15) Congruence and orthogonality in metric geometry (51F20) Interpolation, preservation, definability (03C40)
Related Items
Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime ⋮ A system of axioms for Minkowski spacetime ⋮ Investigations of isotropy and homogeneity of spacetime in first-order logic ⋮ A geometrical characterization of the twin paradox and its variants ⋮ Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry ⋮ Reconstructing an open order from its closure, with applications to space-time physics and to logic ⋮ Axiomatizing relativistic dynamics using formal thought experiments ⋮ On the axiomatizability of some first-order spatio-temporal theories ⋮ Mappings preserving the area equality of hyperbolic triangles are motions
This page was built for publication: Alexandrov-Zeeman type theorems expressed in terms of definability