The model theory of differential fields revisited
- Carol Wood
- … show all 1 hide
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.Get Access
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 model-theoretic 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.
- 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. 305-309 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. 141-170 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. 514-538 CrossRef
- J. F. Ritt,Differential Algebra, Amer. Math. Soc. Colloq. Publ., Vol. 33, New York, 1950.
- Robinson, A. (1965) An Introduction to Model Theory. North-Holland, Amsterdam
- Robinson, A. (1959) On the concept of a differentially closed field. Bull. Res. Counc. Isr. 8F: pp. 113-128
- Robinson, A. (1973) Metamathematical problems. J. Symbolic Logic 38: pp. 500-516 CrossRef
- Robinson, A. (1974) The nonminimality of the differential closure. Pacific J. Math. 52: pp. 529-537
- Sacks, G. (1972) The differential closure of a differential field. Bull. Amer. Math. Soc. 78: pp. 629-634 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. 31-65
- Seidenberg, A. (1952) Some basic theorems in differential algebra. Trans. Amer. Math. Soc. 73: pp. 174-190 CrossRef
- Shelah, S. (1973) Differentially closed fields. Israel J. Math. 16: pp. 314-328 CrossRef
- S. Shelah,The lazy model-theoretician’s guide to stability, Univ. of Louvain, 1975.
- Shelah, S. (1971) The number of non-isomorphic models of an unstable first-order theory. Israel J. Math. 9: pp. 473-487
- S. Shelah,Stability and the number of nonisomorphic models, North-Holland, to appear.
- Shelah, S. (1972) Uniqueness and characterization of prime models over sets for totally transcendental first-order theories. J. Symbolic Logic 37: pp. 107-113 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. 577-584 CrossRef
- Wood, C. (1974) Prime model extensions for differential fields of characteristic p≠0. J. Symbolic Logic 39: pp. 469-477 CrossRef
- The model theory of differential fields revisited
Israel Journal of Mathematics
Volume 25, Issue 3-4 , pp 331-352
- Cover Date
- Print ISSN
- Online ISSN
- Additional Links
- Industry Sectors
- Carol Wood (1)
- Author Affiliations
- 1. Wesleyan University, 06457, Middletown, Connecticut, USA