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 language | English (US) |
---|---|
Pages (from-to) | 45-48 |
Number of pages | 4 |
Journal | Mathematical Logic Quarterly |
Volume | 46 |
Issue number | 1 |
DOIs | |
State | Published - Jan 1 2000 |
Keywords
- Constructive axiomatization of Euclidean planes
- Constructive geometry
ASJC Scopus subject areas
- Logic