Another Constructive Axiomatization of Euclidean Planes

Mathematical Logic Quarterly 46 (1):45-48 (2000)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1002/(sici)1521-3870(200001)46:1

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Ternary Operations as Primitive Notions for Constructive Plane Geometry V.Victor Pambuccian - 1994 - Mathematical Logic Quarterly 40 (4):455-477.
Ternary Operations as Primitive Notions for Constructive Plane Geometry IV.Victor Pambuccian - 1994 - Mathematical Logic Quarterly 40 (1):76-86.
Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry.Victor Pambuccian - 2001 - Mathematical Logic Quarterly 47 (1):129-136.
Ternary Operations as Primitive Notions for Constructive Plane Geometry VI.Victor Pambuccian - 1995 - Mathematical Logic Quarterly 41 (3):384-394.
Herbrand’s theorem and non-euclidean geometry.Michael Beeson, Pierre Boutry & Julien Narboux - 2015 - Bulletin of Symbolic Logic 21 (2):111-122.
Ternary operations as primitive notions for constructive plane geometry III.Victor Pambuccian - 1993 - Mathematical Logic Quarterly 39 (1):393-402.
Constructive Axiomatization of Plane Hyperbolic Geometry.Victor Pambuccian - 2001 - Mathematical Logic Quarterly 47 (4):475-488.
Constructive geometry and the parallel postulate.Michael Beeson - 2016 - Bulletin of Symbolic Logic 22 (1):1-104.
Quantifier elimination for elementary geometry and elementary affine geometry.Rafael Grimson, Bart Kuijpers & Walied Othman - 2012 - Mathematical Logic Quarterly 58 (6):399-416.

Analytics

Added to PP
2013-12-01

Downloads
29 (#773,918)

6 months
2 (#1,685,557)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references