The complexity of plane hyperbolic incidence geometry is ????
From MaRDI portal
Publication:4680374
DOI10.1002/malq.200410028zbMath1066.03027OpenAlexW1975528681MaRDI QIDQ4680374
Publication date: 1 June 2005
Published in: MLQ (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200410028
Hyperbolic and elliptic geometries (general) and generalizations (51M10) Foundations of classical theories (including reverse mathematics) (03B30) Models of other mathematical theories (03C65)
Related Items (6)
The calculus of reflections and the order relation in hyperbolic geometry ⋮ Corrigendum to “The complexity of plane hyperbolic incidence geometry is ∀∃∀∃” ⋮ Lambert or Saccheri quadrilaterals as single primitive notions for plane hyperbolic geometry ⋮ The axiomatics of ordered geometry: I. Ordered incidence spaces ⋮ 2005 Annual Meeting of the Association for Symbolic Logic ⋮ Correction to ``Axiomatizations of hyperbolic geometry
Cites Work
This page was built for publication: The complexity of plane hyperbolic incidence geometry is ????