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 (which intersects that diameter at a point inside the circle) with that circle. MSC: 03F65, 51M05, 51M15.
Original language | English (US) |
---|---|
Pages (from-to) | 393-402 |
Number of pages | 10 |
Journal | Mathematical Logic Quarterly |
Volume | 39 |
Issue number | 1 |
DOIs | |
State | Published - 1993 |
Externally published | Yes |
Keywords
- Algorithmic logic
- Axiomatization of plane Euclidean geometry
- Constructive geometry
ASJC Scopus subject areas
- Logic