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

DOI10.1002/MALQ.200410028zbMATH Open1066.03027OpenAlexW1975528681MaRDI QIDQ4680374FDOQ4680374

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

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

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)

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
• Corrigendum to “The complexity of plane hyperbolic incidence geometry is ∀∃∀∃”
• The calculus of reflections and the order relation in hyperbolic geometry
• 2005 Annual Meeting of the Association for Symbolic Logic
• Title not available (Why is that?)

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)