Find out how to access previewonly content
The model theory of differential fields revisited
 Carol Wood
 … show all 1 hide
Rent the article at a discount
Rent now* Final gross prices may vary according to local VAT.
Get AccessAbstract
The intent of this article is to provide a general and elementary account of the model theory of differential fields, collecting together various results (many without proof) and offering a few algebraic details for the logician reader. The first modeltheoretic look at differential fields was taken by Abraham Robinson in the context of model completeness, while later developments have served to illustrate concepts developed by Morley and Shelah.
Preparation of this paper supported in part by N.S.F. Grant MPS 7508241.
 L. Blum,Generalized algebraic structures: A model theoretic approach, Ph.D. Thesis, Massachusetts Institute of Technology, 1968.
 Harrington, L. (1974) Recursively presentable prime models. J. Symbolic Logic 39: pp. 305309 CrossRef
 Kaplansky, I. (1957) An Introduction to Differential Algebra. Hermann, Paris
 Kolchin, E. R. (1974) Constrained extensions of differential fields. Advances in Math. 12: pp. 141170 CrossRef
 Kolchin, E. R. (1973) Differential Algebra and Algebraic Groups. Academic Press, New York
 Morley, M. (1965) Categoricity in power. Trans. Amer. Math. Soc. 114: pp. 514538 CrossRef
 J. F. Ritt,Differential Algebra, Amer. Math. Soc. Colloq. Publ., Vol. 33, New York, 1950.
 Robinson, A. (1965) An Introduction to Model Theory. NorthHolland, Amsterdam
 Robinson, A. (1959) On the concept of a differentially closed field. Bull. Res. Counc. Isr. 8F: pp. 113128
 Robinson, A. (1973) Metamathematical problems. J. Symbolic Logic 38: pp. 500516 CrossRef
 Robinson, A. (1974) The nonminimality of the differential closure. Pacific J. Math. 52: pp. 529537
 Sacks, G. (1972) The differential closure of a differential field. Bull. Amer. Math. Soc. 78: pp. 629634 CrossRef
 G. Sacks,Model theory and applications, C.I.M.E. Lecture Notes, July 1975.
 Sacks, G. (1972) Saturated Model Theory. Benjamin, Reading, Mass.
 Seidenberg, A. (1956) An elimination theory for differential algebra. Univ. Calif. Math. Publications 3: pp. 3165
 Seidenberg, A. (1952) Some basic theorems in differential algebra. Trans. Amer. Math. Soc. 73: pp. 174190 CrossRef
 Shelah, S. (1973) Differentially closed fields. Israel J. Math. 16: pp. 314328 CrossRef
 S. Shelah,The lazy modeltheoretician’s guide to stability, Univ. of Louvain, 1975.
 Shelah, S. (1971) The number of nonisomorphic models of an unstable firstorder theory. Israel J. Math. 9: pp. 473487
 S. Shelah,Stability and the number of nonisomorphic models, NorthHolland, to appear.
 Shelah, S. (1972) Uniqueness and characterization of prime models over sets for totally transcendental firstorder theories. J. Symbolic Logic 37: pp. 107113 CrossRef
 A. Weil,Foundations of Algebraic Geometry, Amer. Math. Soc., 1962.
 Wood, C. (1973) The model theory of differential fields of characteristic p≠0. Proc. Amer. Math. Soc. 40: pp. 577584 CrossRef
 Wood, C. (1974) Prime model extensions for differential fields of characteristic p≠0. J. Symbolic Logic 39: pp. 469477 CrossRef
 Title
 The model theory of differential fields revisited
 Journal

Israel Journal of Mathematics
Volume 25, Issue 34 , pp 331352
 Cover Date
 19760901
 DOI
 10.1007/BF02757008
 Print ISSN
 00212172
 Online ISSN
 15658511
 Publisher
 SpringerVerlag
 Additional Links
 Topics
 Industry Sectors
 Authors

 Carol Wood ^{(1)}
 Author Affiliations

 1. Wesleyan University, 06457, Middletown, Connecticut, USA