First-Order Theories of Orthogonality Structures

DOI10.1093/JIGPAL/JZM011zbMath1129.03003OpenAlexW2023726635MaRDI QIDQ5435115

Ruaan Kellerman

Publication date: 14 January 2008

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

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

zbMATH Keywords

first-order theoryorthogonalityEuclidean geometryextremal subspacesEuclidean \(n\)-spaceline orthogonality

Mathematics Subject Classification ID

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

Related Items (1)

APPROXIMATING TREES AS COLOURED LINEAR ORDERS AND COMPLETE AXIOMATISATIONS OF SOME CLASSES OF TREES

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