scientific article; zbMATH DE number 4122729

MaRDI QIDQ4735709zbMATH OpenFDO

Authors Robert Goldblatt

Publication date 1989

zbMATH Keywords

axiomatizationbetweennessEuclidean geometryorthogonality

Mathematics Subject Classification ID

Congruence and orthogonality in metric geometry (51F20)

Recommendations

• Euclidean spaces
• Orthogonality and spacetime geometry
• scientific article; zbMATH DE number 639702
• Metrical conception of the space-time geometry
• Metrical geometry of Galilean inertial structure. III

Cited in

(10)

• Algebraische Kennzeichnung angeordneter Bachmann-Räume
• Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL
• Metrical conception of the space-time geometry
• Bimetric spaces, space-time and mathematics. Methodological problems
• scientific article; zbMATH DE number 3969557 (Why is no real title available?)
• scientific article; zbMATH DE number 926985 (Why is no real title available?)
• On the axiomatizability of some first-order spatio-temporal theories
• First-Order Theories of Orthogonality Structures
• Formalising geometric axioms for Minkowski spacetime and without-loss-of-generality theorems
• A system of axioms for Minkowski spacetime

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4735709)