𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The common point problem in constructive projective geometry

✍ Scribed by Mandelkern, Mark

Book ID
118459689
Publisher
Elsevier Science
Year
2013
Tongue
English
Weight
144 KB
Volume
24
Category
Article
ISSN
0019-3577

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

β€˜Outside’ as a primitive notion in const
β€˜Outside’ as a primitive notion in constructive projective geometry
✍ Dirk Dalen πŸ“‚ Article πŸ“… 1996 πŸ› Springer 🌐 English βš– 211 KB

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 syst