Correction to ``Axiomatizations of hyperbolic geometry

DOI10.1007/S11229-004-5405-5zbMath1082.03009OpenAlexW2038145164MaRDI QIDQ2576415

Victor V. Pambuccian

Publication date: 12 December 2005

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-004-5405-5

zbMATH Keywords

axiomatizabilityplane hyperbolic 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

• Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity
• The complexity of plane hyperbolic incidence geometry is ????

This page was built for publication: Correction to ``Axiomatizations of hyperbolic geometry