@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, Volume 22 (1981) no. 1, pp. 31-44. http://www.numdam.org/item/CTGDC_1981__22_1_31_0/
1 Commutative Algebra, Hermann, Paris, 1972. | MR
,2 Sheaves and prime model extensions, J. Algebra ( to appear). | MR | Zbl
,3 The generic model of an ε-stable geometric extension of the theory of rings is of line type, in [8], 29-36. | Zbl
& ,4 Subtoposes of the ring classifier, in [8], 101-122. | MR | Zbl
& ,5 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 Taylor series calculus for ring objects of line type, J. Pure and App. Algebra 12 (1978), 271-293. | MR | Zbl
,7 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 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 Differential Algebra and algebraic groups, Academic Press, New York and London, 1973. | MR | Zbl
,11 Categorical Dynamics, in [8], 1-28. | MR | Zbl
,12 First order categorical Logic, Lecture Notes in Math. 611, Springer (1977). | MR | Zbl
& ,13 Differential Algebra, Amer. Math. Soc. Colloq. Publ. 33, A. M. S., New York, 1950. | Zbl
,14 Introduction to model theory and to the Metamathematics of Algebra, North-Holland Pub. C° Amsterdam, 1963. | MR | Zbl
,