Orthogonality and spacetime geometry
From MaRDI portal
Publication:1090929
zbMath0622.51001MaRDI QIDQ1090929
Publication date: 1987
Published in: Universitext (Search for Journal in Brave)
Special relativity (83A05) General theory of linear incidence geometry and projective geometries (51A05) Congruence and orthogonality in metric geometry (51F20) Real and complex geometry (51M99) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to geometry (51-01)
Related Items (12)
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 logic road from special relativity to general relativity ⋮ A geometrical characterization of the twin paradox and its variants ⋮ Intersection of a double cone and a line in the split-quaternions context ⋮ From geometry to conceptual relativity ⋮ Geometrical structures and modal logic ⋮ Axiomatizing relativistic dynamics using formal thought experiments ⋮ On the axiomatizability of some first-order spatio-temporal theories ⋮ Geometry at Cambridge, 1863--1940 ⋮ Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL
This page was built for publication: Orthogonality and spacetime geometry
