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

The complexity of plane hyperbolic incid

The complexity of plane hyperbolic incidence geometry is ∀∃∀∃

✍ Victor Pambuccian 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 102 KB

We show that plane hyperbolic geometry, expressed in terms of points and the ternary relation of collinearity alone, cannot be expressed by means of axioms of complexity at most ∀∃∀, but that there is an axiom system, all of whose axioms are ∀∃∀∃ sentences. This remains true for Klingenberg's genera