@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 Commutative Algebra, Hermann, Paris, 1972. | MR 360549
,2 Sheaves and prime model extensions, J. Algebra ( to appear). | MR 604295 | Zbl 0465.03016
,3 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 Subtoposes of the ring classifier, in [8], 101-122. | MR 552659 | Zbl 0403.18003
& ,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 44198 | Zbl 0043.17401
,6 Taylor series calculus for ring objects of line type, J. Pure and App. Algebra 12 (1978), 271-293. | MR 501073 | Zbl 0394.14003
,7 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 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 Differential Algebra and algebraic groups, Academic Press, New York and London, 1973. | MR 568864 | Zbl 0264.12102
,11 Categorical Dynamics, in [8], 1-28. | MR 552656 | Zbl 0403.18005
,12 First order categorical Logic, Lecture Notes in Math. 611, Springer (1977). | MR 505486 | Zbl 0357.18002
& ,13 Differential Algebra, Amer. Math. Soc. Colloq. Publ. 33, A. M. S., New York, 1950. | Zbl 0037.18402
,14 Introduction to model theory and to the Metamathematics of Algebra, North-Holland Pub. C° Amsterdam, 1963. | MR 153570 | Zbl 0118.25302
,