The complexity of plane hyperbolic incidence geometry is ????

DOI10.1002/MALQ.200410028MaRDI QIDQ4680374zbMATH OpenOpenAlexFDO

Authors Victor V. Pambuccian

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

zbMATH Keywords

hyperbolic geometryincidence geometryquantifier complexity

Mathematics Subject Classification ID

Hyperbolic and elliptic geometries (general) and generalizations (51M10) Foundations of classical theories (including reverse mathematics) (03B30) Models of other mathematical theories (03C65)

Recommendations

• The simplest axiom system for plane hyperbolic geometry
• Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity
• Simpler foundations for the hyperbolic plane
• scientific article; zbMATH DE number 2211910
• Correction to ``Axiomatizations of hyperbolic geometry

Cites work

• Defining co-punctuality in terms of line-orthogonality in plane hyperbolic geometry

Cited in

(10)

• The axiomatics of ordered geometry: I. Ordered incidence spaces
• The simplest axiom system for plane hyperbolic geometry
• Lambert or Saccheri quadrilaterals as single primitive notions for plane hyperbolic geometry
• Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity
• The elementary geometry of a triangular world with hexagonal circles
• Correction to ``Axiomatizations of hyperbolic geometry
• The calculus of reflections and the order relation in hyperbolic geometry
• Corrigendum to “The complexity of plane hyperbolic incidence geometry is ∀∃∀∃”
• 2005 Annual Meeting of the Association for Symbolic Logic
• scientific article; zbMATH DE number 2133993 (Why is no real title available?)

This page was built for publication: The complexity of plane hyperbolic incidence geometry is ????

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