Open Access
2007 The Number of Countable Differentially Closed Fields
David Marker
Notre Dame J. Formal Logic 48(1): 99-113 (2007). DOI: 10.1305/ndjfl/1172787548
Abstract

We outline the Hrushovsk-Sokolović proof of Vaught's Conjecture for differentially closed fields, focusing on the use of dimensions to code graphs.

References

1.

[1] Bouscaren, E., editor, Model Theory and Algebraic Geometry. An Introduction to E. Hrushovski's Proof of the Geometric Mordell-Lang Conjecture, vol. 1696 of Lecture Notes in Mathematics, Springer-Verlag, Berlin, 1998.  MR1678586 0920.03046[1] Bouscaren, E., editor, Model Theory and Algebraic Geometry. An Introduction to E. Hrushovski's Proof of the Geometric Mordell-Lang Conjecture, vol. 1696 of Lecture Notes in Mathematics, Springer-Verlag, Berlin, 1998.  MR1678586 0920.03046

2.

[2] Buium, A., Differential Algebra and Diophantine Geometry, Actualités Mathématiques. [Current Mathematical Topics]. Hermann, Paris, 1994.  MR1487891 0870.12007[2] Buium, A., Differential Algebra and Diophantine Geometry, Actualités Mathématiques. [Current Mathematical Topics]. Hermann, Paris, 1994.  MR1487891 0870.12007

3.

[3] Calvert, W., and J. F. Knight, "Classification from a computable viewpoint", The Bulletin of Symbolic Logic, vol. 12 (2006), pp. 191--218.  MR2223921 10.2178/bsl/1146620059 euclid.bsl/1146620059  1123.03024[3] Calvert, W., and J. F. Knight, "Classification from a computable viewpoint", The Bulletin of Symbolic Logic, vol. 12 (2006), pp. 191--218.  MR2223921 10.2178/bsl/1146620059 euclid.bsl/1146620059  1123.03024

4.

[4] Harrington, L., "Recursively presentable prime models", The Journal of Symbolic Logic, vol. 39 (1974), pp. 305--9.  MR0351804 0332.02055 10.2307/2272643 euclid.jsl/1183739047 [4] Harrington, L., "Recursively presentable prime models", The Journal of Symbolic Logic, vol. 39 (1974), pp. 305--9.  MR0351804 0332.02055 10.2307/2272643 euclid.jsl/1183739047

5.

[5] Hindry, M., and J. H. Silverman, Diophantine Geometry. An Introduction, vol. 201 of Graduate Texts in Mathematics, Springer-Verlag, New York, 2000.  MR1745599 0948.11023[5] Hindry, M., and J. H. Silverman, Diophantine Geometry. An Introduction, vol. 201 of Graduate Texts in Mathematics, Springer-Verlag, New York, 2000.  MR1745599 0948.11023

6.

[6] Hrushovski, E., and M. Itai, "On model complete differential fields", Transactions of the American Mathematical Society, vol. 355 (2003), pp. 4267--96 (electronic).  MR1990753 1021.03024 10.1090/S0002-9947-03-03264-1[6] Hrushovski, E., and M. Itai, "On model complete differential fields", Transactions of the American Mathematical Society, vol. 355 (2003), pp. 4267--96 (electronic).  MR1990753 1021.03024 10.1090/S0002-9947-03-03264-1

7.

[7] Hrushovski, E., and Ž. Sokolović, "Minimal subsets of differentially closed fields", preprint, 1992. [7] Hrushovski, E., and Ž. Sokolović, "Minimal subsets of differentially closed fields", preprint, 1992.

8.

[8] Hrushovski, E., "Strongly minimal expansions of algebraically closed fields", Israel Journal of Mathematics, vol. 79 (1992), pp. 129--51.  MR1248909 0773.12005 10.1007/BF02808211[8] Hrushovski, E., "Strongly minimal expansions of algebraically closed fields", Israel Journal of Mathematics, vol. 79 (1992), pp. 129--51.  MR1248909 0773.12005 10.1007/BF02808211

9.

[9] Hrushovski, E., "The Mordell-Lang conjecture for function fields", Journal of the American Mathematical Society, vol. 9 (1996), pp. 667--90.  MR1333294 0864.03026 10.1090/S0894-0347-96-00202-0 0894-0347%28199607%299%3A3%3C667%3ATMCFFF%3E2.0.CO%3B2-L[9] Hrushovski, E., "The Mordell-Lang conjecture for function fields", Journal of the American Mathematical Society, vol. 9 (1996), pp. 667--90.  MR1333294 0864.03026 10.1090/S0894-0347-96-00202-0 0894-0347%28199607%299%3A3%3C667%3ATMCFFF%3E2.0.CO%3B2-L

10.

[10] Hrushovski, E., and B. Zilber, "Zariski geometries", Journal of the American Mathematical Society, vol. 9 (1996), pp. 1--56.  MR1311822 0843.03020 10.1090/S0894-0347-96-00180-4 0894-0347%28199601%299%3A1%3C1%3AZG%3E2.0.CO%3B2-3[10] Hrushovski, E., and B. Zilber, "Zariski geometries", Journal of the American Mathematical Society, vol. 9 (1996), pp. 1--56.  MR1311822 0843.03020 10.1090/S0894-0347-96-00180-4 0894-0347%28199601%299%3A1%3C1%3AZG%3E2.0.CO%3B2-3

11.

[11] Manin, Y., "Rational points on an algebraic curve over a function field", pp. 189--234 in Fifteen Papers on Algebra, vol. 50 of American Mathematical Society Translations. Series 2, American Mathematical Society, Providence, 1966. Originally published in Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya, vol. 27 (1963), pp. 1395--1440.  MR0189949 0178.55102[11] Manin, Y., "Rational points on an algebraic curve over a function field", pp. 189--234 in Fifteen Papers on Algebra, vol. 50 of American Mathematical Society Translations. Series 2, American Mathematical Society, Providence, 1966. Originally published in Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya, vol. 27 (1963), pp. 1395--1440.  MR0189949 0178.55102

12.

[12] Marker, D., "Manin kernels", pp. 1--21 in Connections between Model Theory and Algebraic and Analytic Geometry, edited by A. Macintyre, vol. 6 of Quaderni di Matematica [Mathematics Series], Aracne, Rome, 2000.  MR1930679 1100.14522[12] Marker, D., "Manin kernels", pp. 1--21 in Connections between Model Theory and Algebraic and Analytic Geometry, edited by A. Macintyre, vol. 6 of Quaderni di Matematica [Mathematics Series], Aracne, Rome, 2000.  MR1930679 1100.14522

13.

[13] Marker, D., Model Theory. An Introduction, vol. 217 of Graduate Texts in Mathematics, Springer-Verlag, New York, 2002.  MR1924282 1003.03034[13] Marker, D., Model Theory. An Introduction, vol. 217 of Graduate Texts in Mathematics, Springer-Verlag, New York, 2002.  MR1924282 1003.03034

14.

[14] Marker, D., "Model theory of differential fields", pp. 41--109 in Model Theory of Fields (D. Marker, M. Messmer, and A. Pillay), vol. 5 of Lecture Notes in Logic, Association for Symbolic Logic and A. K. Peters, Ltd., La Jolla, 2d edition, 2006.  MR2215060 05014851[14] Marker, D., "Model theory of differential fields", pp. 41--109 in Model Theory of Fields (D. Marker, M. Messmer, and A. Pillay), vol. 5 of Lecture Notes in Logic, Association for Symbolic Logic and A. K. Peters, Ltd., La Jolla, 2d edition, 2006.  MR2215060 05014851

15.

[15] Pillay, A., "Differential algebraic groups and the number of countable differentially closed fields", pp. 111--33 in Model Theory of Fields (D. Marker, M. Messmer, and A. Pillay), vol. 5 of Lecture Notes in Logic, Association for Symbolic Logic and A. K. Peters, Ltd., La Jolla, 2d edition, 2006.  MR2215060 05014851[15] Pillay, A., "Differential algebraic groups and the number of countable differentially closed fields", pp. 111--33 in Model Theory of Fields (D. Marker, M. Messmer, and A. Pillay), vol. 5 of Lecture Notes in Logic, Association for Symbolic Logic and A. K. Peters, Ltd., La Jolla, 2d edition, 2006.  MR2215060 05014851

16.

[16] Pillay, A., Geometric Stability Theory, vol. 32 of Oxford Logic Guides, The Clarendon Press, New York, 1996.  MR1429864 0871.03023[16] Pillay, A., Geometric Stability Theory, vol. 32 of Oxford Logic Guides, The Clarendon Press, New York, 1996.  MR1429864 0871.03023

17.

[17] Pillay, A., "Some foundational questions concerning differential algebraic groups", Pacific Journal of Mathematics, vol. 179 (1997), pp. 179--200.  MR1452531 0999.12009[17] Pillay, A., "Some foundational questions concerning differential algebraic groups", Pacific Journal of Mathematics, vol. 179 (1997), pp. 179--200.  MR1452531 0999.12009

18.

[18] Pillay, A., and M. Ziegler, "Jet spaces of varieties over differential and difference fields", Selecta Mathematica. New Series, vol. 9 (2003), pp. 579--99.  MR2031753 1060.12003 10.1007/s00029-003-0339-1[18] Pillay, A., and M. Ziegler, "Jet spaces of varieties over differential and difference fields", Selecta Mathematica. New Series, vol. 9 (2003), pp. 579--99.  MR2031753 1060.12003 10.1007/s00029-003-0339-1

19.

[19] Poizat, B., "Une théorie de Galois imaginaire", The Journal of Symbolic Logic, vol. 48 (1983), pp. 1151--70.  MR727805 0537.03023 10.2307/2273680 euclid.jsl/1183741425 [19] Poizat, B., "Une théorie de Galois imaginaire", The Journal of Symbolic Logic, vol. 48 (1983), pp. 1151--70.  MR727805 0537.03023 10.2307/2273680 euclid.jsl/1183741425

20.

[20] Rosen, E., ``Order 1 strongly minimal sets in differentially closed fields,'' preprint, 2005. [20] Rosen, E., ``Order 1 strongly minimal sets in differentially closed fields,'' preprint, 2005.

21.

[21] Sacks, G. E., Saturated Model Theory, W. A. Benjamin, Inc., Reading, 1972. Mathematics Lecture Note Series.  MR0398817 0242.02054[21] Sacks, G. E., Saturated Model Theory, W. A. Benjamin, Inc., Reading, 1972. Mathematics Lecture Note Series.  MR0398817 0242.02054

22.

[22] Shelah, S., L. Harrington, and M. Makkai, "A proof of Vaught's conjecture for $\omega$"-stable theories, Israel Journal of Mathematics, vol. 49 (1984), pp. 259--80.  MR788270 0584.03021 10.1007/BF02760651[22] Shelah, S., L. Harrington, and M. Makkai, "A proof of Vaught's conjecture for $\omega$"-stable theories, Israel Journal of Mathematics, vol. 49 (1984), pp. 259--80.  MR788270 0584.03021 10.1007/BF02760651
Copyright © 2007 University of Notre Dame
David Marker "The Number of Countable Differentially Closed Fields," Notre Dame Journal of Formal Logic 48(1), 99-113, (2007). https://doi.org/10.1305/ndjfl/1172787548
Published: 2007
Vol.48 • No. 1 • 2007
Back to Top