References
V. Pambuccian (2002) ArticleTitle‘Axiomatizations of hyperbolic geometry: a comparison based on language and quantifier type complexity’ Synthese 133 331–341 Occurrence Handle10.1023/A:1021294808742
V. Pambuccian (2005) ArticleTitle‘The complexity of plane hyperbolic incidence geometry is ∀ ∃ ∀ ∃’ Mathematical Logic Quarterly 51 277–281 Occurrence Handle10.1002/malq.200410028 Occurrence HandleMR2135491
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Pambuccian, V. Correction to “Axiomatizations of Hyperbolic Geometry”. Synthese 145, 497 (2005). https://doi.org/10.1007/s11229-004-5405-5
Issue Date:
DOI: https://doi.org/10.1007/s11229-004-5405-5