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] 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] 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] 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] 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] 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] 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
[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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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] 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
[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] 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