Lectures on the Model Theory of Valued Fields

详细信息    查看全文

• 作者：Lou van den Dries (8)
  
• 刊名：Lecture Notes in Mathematics
• 出版年：2014
• 出版时间：2014
• 年：2014
• 卷：1
• 期：1
• 页码：55-157
• 全文大小：1,062 KB
• 参考文献：1. S. Abhyankar, On the valuations centered in a local domain. Am. J. Math. 78, 321鈥?48 (1956) CrossRef
  2. M. Artin, On the solutions of analytic equations. Invent. Math. 5, 277鈥?91 (1968) CrossRef
  3. M. Artin, Algebraic approximation of structures over complete local rings. Inst. Hautes 脡tudes Sci. Publ. Math. 36, 23鈥?8 (1969) CrossRef
  4. J. Ax, S. Kochen, Diophantine problems over local fields. I. Am. J. Math. 87, 605鈥?30 (1965) CrossRef
  5. J. Ax, S. Kochen, Diophantine problems over local fields. II. A complete set of axioms for / p-adic number theory. Am. J. Math. 87, 631鈥?48 (1965)
  6. J. Ax, S. Kochen, Diophantine problems over local fields. III. Decidable fields. Ann. Math. 83, 437鈥?56 (1966)
  7. S. Azgin, L. van den Dries, Elementary theory of valued fields with a valuation-preserving automorphism. J. Inst. Math. Jussieu 10, 1鈥?5 (2011) CrossRef
  8. L. B茅lair, A. Macintyre, T. Scanlon, Model theory of the Frobenius on the Witt vectors. Am. J. Math. 129, 665鈥?21 (2007) CrossRef
  9. N. Bourbaki, / Elements of Mathematics. Commutative Algebra (Hermann, Paris, 1972). Translated from the French
  10. G. Cherlin, / Model Theoretic Algebra鈥擲elected Topics. Lecture Notes in Mathematics, vol.聽521 (Springer, Berlin, 1976)
  11. R. Cluckers, J. Nicaise, J. Sebag (eds.) / Motivic Integration and Its Interactions with Model Theory and Non-Archimedean Geometry, Volume I, vol. 383 of / London Mathematical Society Lecture Note Series (Cambridge University Press, Cambridge, 2011)
  12. R. Cluckers, J. Nicaise, J. Sebag (eds.) / Motivic integration and Its Interactions with Model Theory and Non-Archimedean Geometry. Volume II, vol. 384 of / London Mathematical Society Lecture Note Series (Cambridge University Press, Cambridge, 2011)
  13. P.J. Cohen, Decision procedures for real and / p-adic fields. Comm. Pure Appl. Math. 22, 131鈥?51 (1969) CrossRef
  14. F. Delon, Quelques propri茅t茅s des corps valu茅s en th茅orie des modeles. PhD thesis, Universit茅 Paris VII, 1982
  15. J. Denef, The rationality of the Poincar茅 series associated to the / p-adic points on a variety. Invent. Math. 77, 1鈥?3 (1984) CrossRef
  16. J. Denef, F. Loeser, Motivic integration and the Grothendieck group of pseudo-finite fields. In / Proceedings of the International Congress of Mathematicians, Vol. II (Beijing, 2002), pp. 13鈥?3 (Higher Ed. Press, Beijing, 2002)
  17. J. Denef, L. van den Dries, / p-adic and real subanalytic sets. Ann. Math. 128, 79鈥?38 (1988)
  18. J. Denef, / p-adic semi-algebraic sets and cell decomposition. J. Reine Angew. Math. 369, 154鈥?66 (1986)
  19. A.J. Engler, A. Prestel, / Valued Fields. Springer Monographs in Mathematics (Springer, Berlin, 2005)
  20. Ju.L. Ershov, On elementary theories of local fields. Algebra i Logika Sem. 4, 5鈥?0 (1965)
  21. Ju.L. Ershov, On elementary theory of maximal normalized fields. Algebra i Logika Sem. 4, 31鈥?0 (1965)
  22. Ju.L. Ershov, On the elementary theory of maximal normed fields. II. Algebra i Logika Sem. 5, 5鈥?0 (1966)
  23. Ju.L. Ershov, On the elementary theory of maximal normed fields. III. Algebra i Logika Sem. 6, 31鈥?8 (1967)
  24. J.聽Fresnel, M. van聽der Put, / G茅om茅trie Analytique Rigide et Applications, vol.聽18 of / Progress in Mathematics (Birkh盲user Boston, Boston, 1981)
  25. M.J. Greenberg, / Lectures on Forms in Many Variables (W. A. Benjamin, New York-Amsterdam, 1969)
  26. H. Hahn, 脺ber die nichtarchimedischen Gr枚ssensysteme. S.-B. Akad. Wiss. Wien, Math.-naturw. Kl. Abt. IIa 116, 601鈥?55 (1907)
  27. D. Haskell, E. Hrushovski, D. Macpherson, Definable sets in algebraically closed valued fields: elimination of imaginaries. J. Reine Angew. Math. 597, 175鈥?36 (2006)
  28. D. Haskell, E. Hrushovski, D. Macpherson, / Stable Domination and Independence in Algebraically Closed Valued Fields, vol.聽30 of / Lecture Notes in Logic (Association for Symbolic Logic, Chicago, 2008)
  29. J. Holly, Definable equivalence relations and disc spaces of algebraically closed valued fields. PhD thesis, University of Illinois, 1992
  30. E. Hrushovski, D. Kazhdan, Integration in valued fields. In / Algebraic geometry and number theory, vol.聽253 of / Progr. Math., pp.聽261鈥?05 (Birkh盲user Boston, Boston, 2006)
  31. I. Kaplansky, Maximal fields with valuations. Duke Math. J. 9, 303鈥?21 (1942) CrossRef
  32. S. Kochen, The model theory of local fields. In / 1xsy) ISILC Logic Conference (Proc. Internat. Summer Inst. and Logic Colloq., Kiel, 1974), pp.聽384鈥?25. Lecture Notes in Math., vol. 499 (Springer, Berlin, 1975)
  33. W. Krull, Allgemeine Bewertungstheorie. J. Reine Angew. Math. 167, 160鈥?96 (1932)
  34. S. Lang, / Algebra, 2nd edn (Addison-Wesley Publishing Company Advanced Book Program, Reading, 1984)
  35. L. Lipshitz, Z. Robinson, Rings of separated power series and quasi-affinoid geometry. Ast茅risque 264, vi+171 (2000)
  36. A. Macintyre, On definable subsets of / p-adic fields. J. Symbolic Logic 41, 605鈥?10 (1976) CrossRef
  37. A. Macintyre, K. McKenna, L. van den Dries, Elimination of quantifiers in algebraic structures. Adv. Math. 47, 74鈥?7 (1983) CrossRef
  38. M. Nagata, / Local Rings. Interscience Tracts in Pure and Applied Mathematics, No. 13 (Interscience Publishers a division of Wiley, New York-London, 1962)
  39. A. Ostrowski, Untersuchungen zur arithmetischen Theorie der K枚rper. Math. Z. 39, 269鈥?04 (1935) CrossRef
  40. J. Pas, Uniform / p-adic cell decomposition and local zeta functions. J. Reine Angew. Math. 399, 137鈥?72 (1989)
  41. A. Prestel, P. Roquette, / Formally p-adic Fields, vol.聽1050 of / Lecture Notes in Mathematics (Springer, Berlin, 1984)
  42. P. Ribenboim, / Th茅orie des Valuations, vol.聽1964 of / S茅minaire de Math茅matiques Sup茅rieures, No. 9 (脡t茅). Deuxi猫me 茅dition multigraphi茅e (Les Presses de l鈥橴niversit茅 de Montr茅al, Montreal, 1968)
  43. A. Robinson, / Complete Theories (North-Holland Publishing, Amsterdam, 1956)
  44. P. Roquette, History of valuation theory. I. In / Valuation Theory and Its Applications, Vol. I (Saskatoon, SK, 1999), vol.聽32 of / Fields Inst. Commun., pp.聽291鈥?55 (American Mathematical Society, Providence, 2002)
  45. T. Scanlon, A model complete theory of valued / D-fields. J. Symbolic Logic 65, 1758鈥?784 (2000) CrossRef
  46. T. Scanlon, Analytic difference rings. In / International Congress of Mathematicians. Vol. II, pp.聽71鈥?2 (Eur. Math. Soc., Z眉rich, 2006)
  47. O.F.G. Schilling, / The Theory of Valuations. Mathematical Surveys, No. 4 (American Mathematical Society, New York, 1950)
  48. J.-P. Serre, / Corps Locaux. Publications de l鈥橧nstitut de Math茅matique de l鈥橴niversit茅 de Nancago, VIII. Actualit茅s Sci. Indust., No. 1296 (Hermann, Paris, 1962)
  49. J.-P. Serre, / Cours d鈥檃rithm茅tique, vol.聽2 of / Collection SUP: 鈥淟e Math茅maticien鈥?/em> (Presses Universitaires de France, Paris, 1970)
  50. J.R. Shoenfield, / Mathematical Logic (Addison-Wesley Publishing, Reading, London-Don Mills, Ont., 1967)
  51. G. Terjanian, Un contre-exemple 脿 une conjecture d鈥橝rtin. C. R. Acad. Sci. Paris S茅r. A-B 262, A612 (1966)
  52. J.聽van聽der Hoeven, / Transseries and Real Differential Algebra, vol.聽1888 of / Lecture Notes in Mathematics (Springer, Berlin, 2006)
  53. O. Zariski, P. Samuel, / Commutative Algebra. Vol. II The University Series in Higher Mathematics (D. Van Nostrand, Princeton, Toronto-London-New York, 1960)
  
• 作者单位：Lou van den Dries (8)
  
  8. Department of Mathematics, University of Illinois, Urbana, IL, USA
  
• ISSN：1617-9692

文摘

The subject originates in the 1950s with Abraham Robinson when he established the model completeness of the theory of algebraically closed valued fields. In the 1960s Ax & Kochen and, independently, Ershov, proved a remarkable theorem on henselian valued fields, with applications to p-adic number theory. These results and their refinements and extensions remain important in more recent developments like motivic integration.