𝔖 Bobbio Scriptorium
✦   LIBER   ✦

‘Outside’ as a primitive notion in constructive projective geometry

✍ Scribed by Dirk Dalen

Book ID
104643564
Publisher
Springer
Year
1996
Tongue
English
Weight
211 KB
Volume
60
Category
Article
ISSN
0046-5755

No coin nor oath required. For personal study only.

✦ Synopsis

In intuitionistic (or constructive) geometry there are positive counterparts, 'apart' and 'outside', of the relations '=' and 'incident'. In this paper it is shown that the relation 'outside' suffices to define 'incident', 'apart' and 'equality'. The equivalence of the new system with Heyting's system is shown and as a simple corollary one obtains duality for intuitionistic projective geometry.

📜 SIMILAR VOLUMES

Ternary Operations as Primitive Notions
Ternary Operations as Primitive Notions for Constructive Plane Geometry VI
✍ Victor Pambuccian 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 630 KB

## Abstract In this paper we provide quantifier‐free, constructive axiomatizations for several fragments of plane Euclidean geometry over Euclidean fields, such that each axiom contains at most 4 variables. The languages in which they are expressed contain only at most ternary operations. In some p

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 Constructive Plane Geometry IV
✍ Victor Pambuccian 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 490 KB

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