Ternary operations as primitive notions for constructive plane geometry III

Mathematical Logic Quarterly 39 (1):393-402 (1993)
  Copy   BIBTEX

Abstract

This paper continues the investigations begun in [6] and continued in [7] about quantifier-free axiomatizations of plane Euclidean geometry using ternary operations. We show that plane Euclidean geometry over Archimedean ordered Euclidean fields can be axiomatized using only two ternary operations if one allows axioms that are not first-order but universal Lw1,w sentences. The operations are: the transport of a segment on a halfline that starts at one of the endpoints of the given segment, and the operation which produces one of the intersection points of a perpendicular on a diameter of a circle with that circle. MSC: 03F65, 51M05, 51M15

Categories

Keywords

Reprint years

DOI

10.1002/malq.19930390143

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,075

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 VI.Victor Pambuccian - 1995 - Mathematical Logic Quarterly 41 (3):384-394.
Ternary Operations as Primitive Notions for Constructive Plane Geometry IV.Victor Pambuccian - 1994 - Mathematical Logic Quarterly 40 (1):76-86.
Ternary operations as primitive notions for plane geometry II.Victor Pambuccian - 1992 - Mathematical Logic Quarterly 38 (1):345-348.
Ternary Operations as Primitive Notions for Constructive Plane Geometry V.Victor Pambuccian - 1994 - Mathematical Logic Quarterly 40 (4):455-477.
Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry.Victor Pambuccian - 2001 - Mathematical Logic Quarterly 47 (1):129-136.
The simplest axiom system for plane hyperbolic geometry.Victor Pambuccian - 2004 - Studia Logica 77 (3):385 - 411.
Constructive Axiomatization of Plane Hyperbolic Geometry.Victor Pambuccian - 2001 - Mathematical Logic Quarterly 47 (4):475-488.
Another Constructive Axiomatization of Euclidean Planes.Victor Pambuccian - 2000 - Mathematical Logic Quarterly 46 (1):45-48.
Review: H. L. Royden, Remarks on Primitive Notions for Elementary Euclidean and Non-Euclidean Plane Geometry. [REVIEW]Leslaw W. Szczerba - 1970 - Journal of Symbolic Logic 35 (3):473-474.
Constructivity in Geometry.Richard Vesley - 1999 - History and Philosophy of Logic 20 (3-4):291-294.
The Simplest Axiom System for Plane Hyperbolic Geometry Revisited.Victor Pambuccian - 2011 - Studia Logica 97 (3):347 - 349.
Corrigendum to “The complexity of plane hyperbolic incidence geometry is ∀∃∀∃”.Victor Pambuccian - 2008 - Mathematical Logic Quarterly 54 (6):668-668.
The complexity of plane hyperbolic incidence geometry is∀∃∀∃.Victor Pambuccian - 2005 - Mathematical Logic Quarterly 51 (3):277-281.
On the relationship between plane and solid geometry.Andrew Arana & Paolo Mancosu - 2012 - Review of Symbolic Logic 5 (2):294-353.
Quantifier-free axioms for constructive affine plane geometry.Patrick Suppes - 2000 - Synthese 125 (1-2):263-281.

Analytics

Added to PP
2013-12-01

Downloads
16 (#908,545)

6 months
4 (#794,133)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Axiomatizing geometric constructions.Victor Pambuccian - 2008 - Journal of Applied Logic 6 (1):24-46.

Add more citations

References found in this work

No references found.

Add more references