Skip to main content Accessibility help




For every natural number m, the existentially closed models of the theory of fields with m commuting derivations can be given a first-order geometric characterization in several ways. In particular, the theory of these differential fields has a model-companion. The axioms are that certain differential varieties determined by certain ordinary varieties are nonempty. There is no restriction on the characteristic of the underlying field.



Hide All
[1] Barwise, Jon and Robinson, Abraham, Completing theories by forcing. Annals of Mathematical Logic, vol. 2 (1970), no. 2, pp. 119142. MR MR0272613 (42 #7494)
[2] Blum, Lenore, Differentially closed fields: A model-theoretic tour, Contributions to algebra (collection of papers dedicated to Ellis Kolchin), Academic Press, New York, 1977, pp. 3761. MR MR0491149 (58 #10415)
[3] Chang, Chen Chung, On unions of chains of models. Proceedings of the American Mathematical Society, vol. 10 (1959), pp. 120127. MR MR0103812 (21 #2576)
[4] Chatzidakis, Zoé and Hrushovski, Ehud, Model theory of difference fields. Transactions of the American Mathematical Society, vol. 351 (1999), no. 8, pp. 29973071. MR2000f:03109
[5] Eklof, Paul and Sabbagh, Gabriel, Model-completions and modules. Annals of Mathematical Logic, vol. 2 (1970/1971), no. 3, pp. 251295. MR MR0277372 (43 #3105)
[6] Hodges, Wilfrid, Model theory, Encyclopedia of Mathematics and its Applications, vol. 42, Cambridge University Press, Cambridge, 1993. MR94e:03002
[7] Kolchin, E. R., Differential algebra and algebraic groups, Academic Press, New York, 1973, Pure and Applied Mathematics, vol. 54. MR58 #27929
[8] Kowalski, Piotr, Derivations of the Frobenius map, this Journal, vol. 70 (2005), no. 1, pp. 99110. MRMR2119125 (2005m:03069)
[9] Łoś, Jerzy and Suszko, Roman, On the extending of models (IV): Infinite sums of models. Fundamenta Mathematicae, vol. 44 (1957), pp. 5260. MR MR0089813 (19,724c)
[10] Macintyre, Angus, Generic automorphisms of fields. Annals of Pure and Applied Logic, vol. 88 (1997), no. 2–3, pp. 165180, Joint AILA-KGS Model Theory Meeting (Florence, 1995). MR99c:03046
[11] Marker, David, Model theory: An introduction, Graduate Texts in Mathematics, vol. 217, Springer-Verlag, New York, 2002. MR1 924 282
[12] McGrail, Tracey, The model theory of differential fields with finitely many commuting derivations, this Journal, vol. 65 (2000), no. 2, pp. 885913. MR2001h:03066
[13] Pierce, David, Differential forms in the model theory of differential fields, this Journal, vol. 68 (2003), no. 3, pp. 923945. MR2 000 487
[14] Pierce, David, Geometric characterizations of existentially closed fields with operators. Illinois Journal of Mathematics, vol. 48 (2004), no. 4, pp. 13211343. MRMR2114160
[15] Pierce, David and Pillay, Anand, A note on the axioms for differentially closed fields of characteristic zero. Journal of Algebra, vol. 204 (1998), no. 1, pp. 108115. MR99g:12006
[16] Fels Ritt, Joseph, Differential algebra, Dover Publications Inc., New York, 1966, originally published in 1950. MRMR0201431 (34 #1315)
[17] Robinson, A., Some problems of definability in the lower predicate calculus. Fundamenta Mathematicae, vol. 44 (1957), pp. 309329. MRMR0091922 (19, 1032f)
[18] Robinson, Abraham, Introduction to model theory and to the metamathematics of algebra, North-Holland Publishing Co., Amsterdam, 1963. MRMR0153570 (27 #3533)
[19] Robinson, Abraham, Complete theories, second ed., North-Holland Publishing Co., Amsterdam, 1977, With a preface by H. J. Keisler, Studies in Logic and the Foundations of Mathematics, first published 1956. MRMR0472504 (57 #12202)
[20] Rosenfeld, Azriel, Specializations in differential algebra. Transactions of the American Mathematical Society, vol. 90 (1959), pp. 394407. MRMR0107642 (21 #6367)
[21] Sacks, Gerald E., Saturated model theory, W. A. Benjamin, Inc., Reading, Massachusetts, 1972, Mathematics Lecture Note Series. MRMR0398817 (53 #2668)
[22] Seidenberg, A., Some basic theorems in differential algebra (characteristic p, arbitrary). Transactions of the American Mathematical Society, vol. 73 (1952), pp. 174190. MRMR0049174 (14,130c)
[23] Seidenberg, A., An elimination theory for differential algebra, Berkeley, Los Angeles, University of California Publications in Mathematics (new series), vol. 3, 1956, pp. 3165. MRMR0082487 (18,558a)
[24] Shelah, Saharon, Differentially closed fields. Israel Journal of Mathematics, vol. 16 (1973),pp. 314328. MRMR0344116 (49 #8856)
[25] Simmons, H., Existentially closed structures, this Journal, vol. 37 (1972), pp. 293310. MR51 #12518
[26] Singer, Michael F., The model theory of ordered differential fields, this Journal, vol. 43 (1978), no. 1, pp. 8291. MRMR495120 (80a:03044)
[27] Singer, Michael F., Model theory of partial differential fields: From commuting to noncommuting derivations. Proceedings of the American Mathematical Society, vol. 135 (2007), no. 6, pp. 19291934 (electronic). MRMR2286106 (2007m:03077)
[28] Tressl, Marcus, The uniform companion for large differential fields of characteristic 0. Transactions of the American Mathematical Society, vol. 357 (2005), no. 10, pp. 39333951 (electronic).MRMR2159694
[29] Den Dries, L. Van and Schmidt, K., Bounds in the theory of polynomial rings over fields. A nonstandard approach. Inventiones Mathematicae, vol. 76 (1984), no. 1, pp. 7791. MRMR739626 (85i:12016)
[30] Wood, Carol, The model theory of differential fields of characteristic P≠0. Proceedings of the American Mathematical Society , vol. 40 (1973), pp. 577584. MR48 #8227
[31] Wood, Carol, Prime model extensions for differential fields of characteristic P≠0, this Journal, vol. 39 (1974), pp. 469477. MR50 #9577
[32] Yaffe, Yoav, Model completion of Lie differential fields. Annals of Pure and Applied Logic, vol. 107 (2001), no. 1–3, pp. 4986. MR1 807 840



Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed