Corrigendum to “The complexity of plane hyperbolic incidence geometry is ∀∃∀∃”

DOI10.1002/MALQ.200710068MaRDI QIDQ3545220zbMATH OpenOpenAlexFDO

Authors Victor V. Pambuccian

Publication date 10 December 2008

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200710068

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

• Correction to ``Axiomatizations of hyperbolic geometry
• The complexity of plane hyperbolic incidence geometry is ????
• Erratum: On \(C_2. L\)-geometries
• Corrigendum to: ``Geodesic planes in geometrically finite manifolds
• Corrigendum to: ``Geometric axioms for differentially closed fields with several commuting derivations

Cites work

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

Cited in

(1)

• The ubiquitous axiom

This page was built for publication: Corrigendum to “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 Q3545220)