Models of differential algebra in the context of synthetic differential geometry

 Access to full text

 Full (PDF)

1. 1 N. Bourbaki, Commutative Algebra, Hermann, Paris, 1972. MR360549
2. 2 M. Bunge, Sheaves and prime model extensions, J. Algebra ( to appear). Zbl0465.03016MR604295
3. 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. Zbl0427.18008
4. 4 E.J. Dubuc & G.E. Reyes, Subtoposes of the ring classifier, in [8], 101-122. Zbl0403.18003MR552659
5. 5 C. Ehresmann, Les prolongements d'une variété différentiable, I: Calcul des jets, prolongement principal, C. R. A. S, Paris233 (1951), 598-600. Zbl0043.17401MR44198
6. 6 A. Kock, Taylor series calculus for ring objects of line type, J. Pure and App. Algebra12 (1978), 271-293. Zbl0394.14003MR501073
7. 7 A. Kock, On algebraic theories of power series, Cahiers Topo. et Géom. Diff. XVI-3 (1975), 266- 270. Zbl0357.13011
8. 8 A. KOCK ( editor ), Topos theoretic methods in Geometry, Various Publications Series n° 30, Mat. Inst. Aarhus University, 1979. Zbl0396.00004MR552655
9. 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. ) Zbl0434.18012MR591385
10. 10 E.R. Kolchin, Differential Algebra and algebraic groups, Academic Press, New York and London, 1973. Zbl0264.12102MR568864
11. 11 F.W. Lawvere, Categorical Dynamics, in [8], 1-28. Zbl0403.18005MR552656
12. 12 M. Makkai & G.E. Reyes, First order categorical Logic, Lecture Notes in Math.611, Springer (1977). Zbl0357.18002MR505486
13. 13 J.F. Ritt, Differential Algebra, Amer. Math. Soc. Colloq. Publ.33, A. M. S., New York, 1950. Zbl0037.18402
14. 14 A. Robinson, Introduction to model theory and to the Metamathematics of Algebra, North-Holland Pub. C°Amsterdam, 1963. Zbl0118.25302MR153570