Coherent euclidean geometry
Cruciani, Rosanna Succi
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 26 (1985), p. 91-111 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1985-01-01
@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},
     volume = {26},
     year = {1985},
     pages = {91-111},
     mrnumber = {794418},
     zbl = {0591.51003},
     language = {en},
     url = {http://dml.mathdoc.fr/item/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) pp. 91-111. http://gdmltest.u-ga.fr/item/CTGDC_1985__26_1_91_0/

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

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

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

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

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

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

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

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

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 376807

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

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 606383 | Zbl 0472.18009

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

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

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

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 106185 | Zbl 0092.38504