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

DOI10.1002/MALQ.200710068zbMATH Open1152.03311OpenAlexW2038057984MaRDI QIDQ3545220FDOQ3545220

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)

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)