The complexity of plane hyperbolic incidence geometry is ∀∃∀∃(Mathematical Logic Quarterly (280))

Research output: Contribution to journalComment/debate

Original languageEnglish (US)
Pages (from-to)668
Number of pages1
JournalMathematical Logic Quarterly
Volume54
Issue number6
DOIs
StatePublished - Dec 2008

Keywords

  • Hyperbolic geometry
  • Incidence geometry
  • Quantifier complexity

ASJC Scopus subject areas

  • Logic

Cite this