First-Order Theories of Orthogonality Structures

DOI10.1093/JIGPAL/JZM011MaRDI QIDQ5435115zbMATH OpenOpenAlexFDO

Authors Ruaan Kellerman

Publication date 14 January 2008

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzm011

zbMATH Keywords

Euclidean \(n\)-spaceEuclidean geometryextremal subspacesfirst-order theoryline orthogonalityorthogonality

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Basic properties of first-order languages and structures (03C07) Euclidean geometries (general) and generalizations (51M05)

Recommendations

• Categories of orthogonality spaces
• scientific article; zbMATH DE number 4122729
• First-order theories of abstract dependence relations
• Undecidable first-order theories of affine geometries
• Almost \(\omega \)-categorical weakly o-minimal theories of convexity rank 1

Cited in

(5)

• Structure in loss of orthogonality
• scientific article; zbMATH DE number 3941559 (Why is no real title available?)
• Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees
• scientific article; zbMATH DE number 2188409 (Why is no real title available?)
• Order properties of orthogonal vector fields and a representation theorem

This page was built for publication: First-Order Theories of Orthogonality Structures

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