A constructive theory of ordered affine geometry

Indagationes Mathematicae

Volumn 9, Issue 4, 1998, Pages 549-562

  Von Plato, J ^a  

^a UNIVERSITY OF HELSINKI   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032324660     PISSN: 00193577     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0019-3577(98)80034-7     Document Type: Article

References (8)

1. van Dalen, D. - 'Outside' as a primitive notion in constructive projective geometry. Geometriae Dedicata 60, 107-111 (1996).
2. Freudenthal, H. and A. Bauer - Geometry - a phenomenological discussion. In H. Behnke et al., eds., Fundamentals of Mathematics 2, 3-28, MIT Press (1974).
3. Heyting, A. - Axioms for intuitionistic plane affine geometry. In L. Henkin et al., eds., The Axiomatic Method, North-Holland, Amsterdam, 160-173 (1959)
4. Kahn, G. - Constructive geometry according to Jan von Plato. INRIA, Sophia-Antipolis, available as part of the Coq proof editor, in the address http://pauillac.inria.fr/coq/contribs.html (1995).
5. Magnusson, L. - The Implementation of Alf - A Proof Editor based on Martin-Löf's Monomorphic Type Theory with Explicit Substitution. Chalmers, Department of Computing, Göteborg (1995).
6. von Plato, J. - The axioms of constructive geometry. Annals of Pure and Applied Logic, vol. 76, 169-200 (1995).
7. von Plato, J. - Organization and development of a constructive axiomatization. Lecture Notes in Computer Science, vol. 1158, 288-296 (1996).
8. Veblen, O. and J. Young - Projective Geometry, vol. 2. Ginn and Company, Boston etc. (1918).