Coherent euclidean geometry
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 26 (1985) no. 1, pp. 91-111. 
@article{CTGDC_1985__26_1_91_0,
     author = {Cruciani, Rosanna Succi},
     title = {Coherent euclidean geometry},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {91--111},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {26},
     number = {1},
     year = {1985},
     mrnumber = {794418},
     zbl = {0591.51003},
     language = {en},
     url = {http://www.numdam.org/item/CTGDC_1985__26_1_91_0/}
}
TY  - JOUR
AU  - Cruciani, Rosanna Succi
TI  - Coherent euclidean geometry
JO  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY  - 1985
SP  - 91
EP  - 111
VL  - 26
IS  - 1
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://www.numdam.org/item/CTGDC_1985__26_1_91_0/
LA  - en
ID  - CTGDC_1985__26_1_91_0
ER  - 
%0 Journal Article
%A Cruciani, Rosanna Succi
%T Coherent euclidean geometry
%J Cahiers de Topologie et Géométrie Différentielle Catégoriques
%D 1985
%P 91-111
%V 26
%N 1
%I Dunod éditeur, publié avec le concours du CNRS
%U http://www.numdam.org/item/CTGDC_1985__26_1_91_0/
%G en
%F CTGDC_1985__26_1_91_0
Cruciani, Rosanna Succi. Coherent euclidean geometry. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 26 (1985) no. 1, pp. 91-111. http://www.numdam.org/item/CTGDC_1985__26_1_91_0/

1 G. Choquet, L'enseignement de la Géométrie, Hermann, 1964. | Zbl

2 A. Heyting, Zur intuitionistischen Axiomatik der projecktiven Geometrie, Math. Ann. 98 (1927), 491-538. | JFM | MR

3 A. Heyting, Axioms for intuitionistic plane affine Geometry in"The Axiomatic ' Method", North-Holland, 1959. | MR | Zbl

4 D. Hilbert, Grundlagen der Geometrie, Leipzig, 1930. | JFM

5 T. Hjelmslev, Die natürliche Geometrie, Abh. Math. Sem. Hamburg 2 (1923), 1-36 | JFM

6 A. Kock, Universal projective geometry via topos theory, J. Pure Appl. Algebra 9 (1976), 1-24. | MR | Zbl

7 A. KOCK (Ed.), Topos theoretic methods in Geometry, Var. Publ. Series 30, Aarhus Mat. Inst. (1979). | MR | Zbl

8 A. Kock, Synthetic differential Geometry, London Math. Soc. Lecture Note Ser. 51, Cambridge Univ. Press (1981). | MR | Zbl

9 F.W. Lawvere, Teoria delle categorie sopra un topos di base, Lecture Notes, Univ. Perugia, 1973.

10 F.W. Lawvere, Introduction to "Model Theory and Topoi", Lecture Notes in Math. 445, Springer (1975). | MR

11 F.W. Lawvere, Categorical dynamics, in "Topos theoretic methods in Geometry", Var. Publ. Ser. 30, Aarhus Mat. Inst. (1979). | MR | Zbl

12 F.W. Lawvere, Toward the description of a smooth topos of the dynamically possible motions and deformations of a continuous body, Cahiers Top. Géom. Diff. XXI-4 (1980), 377-392. | Numdam | MR | Zbl

13 M. Makkai & G.E. Reyes, First order categorical Logic, Lecture Notes in Math. 611, Springer (1977). | MR | Zbl

14 E.E. Moise, Elementary Geometry from an advanced standpoint, Addison-Wesley, 1974. | MR | Zbl

15 G.E. Reyes, From sheaves to Logic, M.A.A. Studies in Math. 9 (1974). | MR | Zbl

16 R. Succi Cruciani, Assiomi per una Geometria euclidea coerente, Rend. Mat. VII, 4 (1984).

17 A. Tarski, What is elementary Geometry? in "The Axiomatic Method", North-Holland, 1959. | MR | Zbl