Another constructive axiomatization of Euclidean planes

Research output: Contribution to journalArticle

5 Scopus citations

Abstract

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
Volume46
Issue number1
DOIs
StatePublished - Jan 1 2000

Keywords

  • Constructive axiomatization of Euclidean planes
  • Constructive geometry

ASJC Scopus subject areas

  • Logic

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

  • Cite this