𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Ternary Operations as Primitive Notions for Constructive Plane Geometry IV

✍ Scribed by Victor Pambuccian

Publisher
John Wiley and Sons
Year
1994
Tongue
English
Weight
490 KB
Volume
40
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

In this paper we provide a quantifier‐free constructive axiomatization for Euclidean planes in a first‐order language with only ternary operation symbols and three constant symbols (to be interpreted as ‘points’). We also determine the algorithmic theories of some ‘naturally occurring’ plane geometries.

Mathematics Subject Classification: 03F65, 51M05, 51M15, 03B30.

📜 SIMILAR VOLUMES

Ternary operations as primitive notions
Ternary operations as primitive notions for constructive plane geometry III
✍ Victor Pambuccian 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 499 KB

## 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

TERNARY OPERATIONS AS PRIMITIVE NOTIONS
TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II
✍ Victor Pambuccian 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 197 KB

## 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 superfluou