TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II
Victor Pambuccian · Mathematical logic quarterly · 1992
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.