'Outside' as a primitive notion in constructive projective geometry

Geometriae Dedicata

Volumn 60, Issue 1, 1996, Pages 107-111

  Van Dalen, Dirk ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Constructive projective geometry; Heyting's system; Projective spaces

Indexed keywords

EID: 0001450552     PISSN: 00465755     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF00150870     Document Type: Article

References (5)

1. van Dalen, D.: Extension problems in intuitionistic plane projective geometry I, II, Indag. Math. 25 (1963), 349-368.
2. Heyting, A.: Zur intuitionistischen Axiomatik der projektiven Geometrie, Math. Ann. 98 (1927), 491-538.
3. Heyting, A.: Axioms for intuitionistic plane affine geometry, in L. Henkin et al. (eds), The Axiomatic Method, North-Holland, Amsterdam, 1959, pp. 160-173.
4. Troelstra, A. S. and van Dalen, D.: Constructivism in Mathematics, North-Holland, Amsterdam, 1988.
5. von Plato, J.: The axioms of constructive geometry, Ann. Pure Appl. Logic (forthcoming).