Axiomatizing geometric constructions

Research output: Contribution to journalArticlepeer-review

13 Scopus citations

Abstract

In this survey paper, we present several results linking quantifier-free axiomatizations of various Euclidean and hyperbolic geometries in languages without relation symbols to geometric constructibility theorems. Several fragments of Euclidean and hyperbolic geometries turn out to be naturally occurring only when we ask for the universal theory of the standard plane (Euclidean or hyperbolic), that can be expressed in a certain language containing only operation symbols standing for certain geometric constructions.

Original languageEnglish (US)
Pages (from-to)24-46
Number of pages23
JournalJournal of Applied Logic
Volume6
Issue number1
DOIs
StatePublished - Mar 2008

Keywords

  • Absolute geometry
  • Euclidean geometry
  • Geometric constructions
  • Hyperbolic geometry
  • Metric planes
  • Metric-Euclidean planes
  • Quantifier-free axiomatizations
  • Rectangular planes
  • Treffgeradenebenen

ASJC Scopus subject areas

  • Logic
  • Applied Mathematics

Fingerprint Dive into the research topics of 'Axiomatizing geometric constructions'. Together they form a unique fingerprint.

Cite this