Geodesic
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) no. 1, pp. 31-44.

Voir la notice de l'article provenant de la source Numdam

@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},
     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://geodesic.mathdoc.fr/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 Catégoriques
PY  - 1981
SP  - 31
EP  - 44
VL  - 22
IS  - 1
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://geodesic.mathdoc.fr/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 Catégoriques
%D 1981
%P 31-44
%V 22
%N 1
%I Dunod éditeur, publié avec le concours du CNRS
%U http://geodesic.mathdoc.fr/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 Catégoriques, Tome 22 (1981) no. 1, pp. 31-44. http://geodesic.mathdoc.fr/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). | Zbl | MR

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

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

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

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

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. ) | Zbl | MR | mathdoc-id

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

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

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

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