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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,963

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.
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.
Constructivity in Geometry.Richard Vesley - 1999 - History and Philosophy of Logic 20 (3-4):291-294.
Simplifying von Plato's axiomatization of Constructive Apartness Geometry.Dafa Li, Peifa Jia & Xinxin Li - 2000 - Annals of Pure and Applied Logic 102 (1-2):1-26.
Poincaré's thesis of the translatability of euclidean and non-euclidean geometries.David Stump - 1991 - Noûs 25 (5):639-657.
Surface Strategies And Constructive Line-Preferential Planes, Contour, Phenomenal Body In The Work Of Bacon, Chalayan, Kawakubo.Dagmar Reinhardt - 2005 - Colloquy 9:49-70.
On constructive functions ranging over propositions.H. Luckhardt - 1980 - Studia Logica 39 (4):371 - 374.
Euclidean Functions of Computable Euclidean Domains.Rodney G. Downey & Asher M. Kach - 2011 - Notre Dame Journal of Formal Logic 52 (2):163-172.
Computability and convergence.Jeremy Avigad - unknown
Constructive Empiricism and Modal Nominalism.Monton Bradley & Fraassen Bas C. Van - 2003 - British Journal for the Philosophy of Science 54 (3):405 - 422.

Analytics

Added to PP
2013-12-01

Downloads
24 (#657,706)

6 months
5 (#640,860)

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