Skip to main content Accessibility help
×
Home

FIELDS WITH SEVERAL COMMUTING DERIVATIONS

  • DAVID PIERCE (a1)

Abstract

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.

Copyright

References

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

Keywords

Metrics

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