Models of differential algebra in the context of synthetic differential geometry
Cahiers de topologie et géométrie différentielle, Tome 22 (1981) no. 1, pp. 31-44. 
@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},
     pages = {31--44},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {22},
     number = {1},
     year = {1981},
     mrnumber = {609157},
     zbl = {0457.18010},
     language = {en},
     url = {http://www.numdam.org/item/CTGDC_1981__22_1_31_0/}
}
TY  - JOUR
AU  - Bunge, Marta
TI  - Models of differential algebra in the context of synthetic differential geometry
JO  - Cahiers de topologie et géométrie différentielle
PY  - 1981
SP  - 31
EP  - 44
VL  - 22
IS  - 1
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://www.numdam.org/item/CTGDC_1981__22_1_31_0/
LA  - en
ID  - CTGDC_1981__22_1_31_0
ER  - 
%0 Journal Article
%A Bunge, Marta
%T Models of differential algebra in the context of synthetic differential geometry
%J Cahiers de topologie et géométrie différentielle
%D 1981
%P 31-44
%V 22
%N 1
%I Dunod éditeur, publié avec le concours du CNRS
%U http://www.numdam.org/item/CTGDC_1981__22_1_31_0/
%G en
%F 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, Tome 22 (1981) no. 1, pp. 31-44. http://www.numdam.org/item/CTGDC_1981__22_1_31_0/

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

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

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

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

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

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

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

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

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

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

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

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

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

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