Alexandrov-Zeeman type theorems expressed in terms of definability

DOI10.1007/s00010-007-2885-7zbMath1141.03007OpenAlexW2019230789MaRDI QIDQ2474088

Victor V. Pambuccian

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

zbMATH Keywords

Minkowski spacedefinabilityAlexandrov-Zeeman theorem

Mathematics Subject Classification ID

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