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)|
|Number of pages||4|
|Journal||Mathematical Logic Quarterly|
|State||Published - Jan 1 2000|
- Constructive axiomatization of Euclidean planes
- Constructive geometry
ASJC Scopus subject areas