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

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

Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry.Victor Pambuccian - 2001 - Mathematical Logic Quarterly 47 (1):129-136.
Herbrand’s theorem and non-euclidean geometry.Michael Beeson, Pierre Boutry & Julien Narboux - 2015 - Bulletin of Symbolic Logic 21 (2):111-122.
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.
Axiomatizing Origami Planes.Lev Beklemishev, Anna Dmitrieva & Johann A. Makowsky - 2024 - In Nick Bezhanishvili, Rosalie Iemhoff & Fan Yang, Dick de Jongh on Intuitionistic and Provability Logics. Cham: Springer Verlag. pp. 353-377.
Quantifier elimination for elementary geometry and elementary affine geometry.Rafael Grimson, Bart Kuijpers & Walied Othman - 2012 - Mathematical Logic Quarterly 58 (6):399-416.
Kant's Views on Non-Euclidean Geometry.Michael Cuffaro - 2012 - Proceedings of the Canadian Society for History and Philosophy of Mathematics 25:42-54.
The simplest axiom system for plane hyperbolic geometry.Victor Pambuccian - 2004 - Studia Logica 77 (3):385 - 411.
Constructivity in Geometry.Richard Vesley - 1999 - History and Philosophy of Logic 20 (3-4):291-294.
Ternary operations as primitive notions for plane geometry II.Victor Pambuccian - 1992 - Mathematical Logic Quarterly 38 (1):345-348.

Analytics

Added to PP
2013-12-01

Downloads
49 (#1,197,486)

6 months
6 (#1,539,328)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Constructive Axiomatization of Plane Hyperbolic Geometry.Victor Pambuccian - 2001 - Mathematical Logic Quarterly 47 (4):475-488.

Add more citations

References found in this work

Add more references