Another constructive axiomatization of Euclidean planes

Research output: Contribution to journalArticlepeer-review

5 Scopus citations


H. Tietze has proved algebraically that the geometry of uniquely determined ruler and compass constructions coincides with the geometry of ruler and set square constructions. We provide a new proof of this result via new universal axiom systems for Euclidean planes of characteristic ≠ 2 in languages containing only operation symbols.

Original languageEnglish (US)
Pages (from-to)45-48
Number of pages4
JournalMathematical Logic Quarterly
Issue number1
StatePublished - Jan 1 2000


  • Constructive axiomatization of Euclidean planes
  • Constructive geometry

ASJC Scopus subject areas

  • Logic


Dive into the research topics of 'Another constructive axiomatization of Euclidean planes'. Together they form a unique fingerprint.

Cite this