Models of differential algebra in the context of synthetic differential geometry
Bunge, Marta
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 22 (1981), p. 31-44 / Harvested from Numdam
Publié le : 1981-01-01
@article{CTGDC_1981__22_1_31_0,
     author = {Bunge, Marta},
     title = {Models of differential algebra in the context of synthetic differential geometry},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     volume = {22},
     year = {1981},
     pages = {31-44},
     mrnumber = {609157},
     zbl = {0457.18010},
     language = {en},
     url = {http://dml.mathdoc.fr/item/CTGDC_1981__22_1_31_0}
}
Bunge, Marta. Models of differential algebra in the context of synthetic differential geometry. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 22 (1981) pp. 31-44. http://gdmltest.u-ga.fr/item/CTGDC_1981__22_1_31_0/

1 N. Bourbaki, Commutative Algebra, Hermann, Paris, 1972. | MR 360549

2 M. Bunge, Sheaves and prime model extensions, J. Algebra ( to appear). | MR 604295 | Zbl 0465.03016

3 M.F. Coste & M. Coste, The generic model of an ε-stable geometric extension of the theory of rings is of line type, in [8], 29-36. | Zbl 0427.18008

4 E.J. Dubuc & G.E. Reyes, Subtoposes of the ring classifier, in [8], 101-122. | MR 552659 | Zbl 0403.18003

5 C. Ehresmann, Les prolongements d'une variété différentiable, I: Calcul des jets, prolongement principal, C. R. A. S, Paris 233 (1951), 598-600. | MR 44198 | Zbl 0043.17401

6 A. Kock, Taylor series calculus for ring objects of line type, J. Pure and App. Algebra 12 (1978), 271-293. | MR 501073 | Zbl 0394.14003

7 A. Kock, On algebraic theories of power series, Cahiers Topo. et Géom. Diff. XVI- 3 (1975), 266- 270. | Zbl 0357.13011

8 A. KOCK ( editor ), Topos theoretic methods in Geometry, Various Publications Series n° 30, Mat. Inst. Aarhus University, 1979. | MR 552655 | Zbl 0396.00004

9 A. Kock, Formal manifolds and synthetic theory of jet bundles, Cahiers Topo. et Géom. Diff. XXI- 3 (1980), 227 - 241. ( Preprint Aarhus Univ. 1979. ) | Numdam | MR 591385 | Zbl 0434.18012

10 E.R. Kolchin, Differential Algebra and algebraic groups, Academic Press, New York and London, 1973. | MR 568864 | Zbl 0264.12102

11 F.W. Lawvere, Categorical Dynamics, in [8], 1-28. | MR 552656 | Zbl 0403.18005

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

13 J.F. Ritt, Differential Algebra, Amer. Math. Soc. Colloq. Publ. 33, A. M. S., New York, 1950. | Zbl 0037.18402

14 A. Robinson, Introduction to model theory and to the Metamathematics of Algebra, North-Holland Pub. C° Amsterdam, 1963. | MR 153570 | Zbl 0118.25302