Ternary operations as primitive notions for constructive plane geometry III

Research output: Contribution to journalArticle

10 Scopus citations

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 languageEnglish (US)
Pages (from-to)393-402
Number of pages10
JournalMathematical Logic Quarterly
Volume39
Issue number1
DOIs
StatePublished - 1993
Externally publishedYes

    Fingerprint

Keywords

  • Algorithmic logic
  • Axiomatization of plane Euclidean geometry
  • Constructive geometry

ASJC Scopus subject areas

  • Logic

Cite this