TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II

Research output: Contribution to journalArticle

9 Scopus citations

Abstract

We proved in the first part [1] that plane geometry over Pythagorean fields is axiomatizable by quantifier‐free axioms in a language with three individual constants, one binary and three ternary operation symbols. In this paper we prove that two of these operation symbols are superfluous.

Original languageEnglish (US)
Pages (from-to)345-348
Number of pages4
JournalMathematical Logic Quarterly
Volume38
Issue number1
DOIs
StatePublished - 1992
Externally publishedYes

    Fingerprint

Keywords

  • axiomatization of plane geometry
  • definability in geometry
  • Foundations of plane geometry

ASJC Scopus subject areas

  • Logic

Cite this