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

Research output: Contribution to journalArticlepeer-review

7 Scopus citations

Abstract

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 generalized hyperbolic planes, with arbitrary ordered fields as coordinate fields.

Original languageEnglish (US)
Pages (from-to)277-281
Number of pages5
JournalMathematical Logic Quarterly
Volume51
Issue number3
DOIs
StatePublished - Jan 1 2005

Keywords

  • Hyperbolic geometry
  • Incidence geometry
  • Quantifier complexity

ASJC Scopus subject areas

  • Logic

Fingerprint

Dive into the research topics of 'The complexity of plane hyperbolic incidence geometry is ∀∃∀∃'. Together they form a unique fingerprint.

Cite this