A model complete theory of valued D-fields

Journal of Symbolic Logic

Volumn 65, Issue 4, 2000, Pages 1758-1784

  Scanlon, Thomas ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0034557560     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2695074     Document Type: Article

References (14)

1. J. Ax and S. KOCHEN, Diophantine problems over local fields I, American Journal of Mathematics, vol. 87 (1965), pp. 605-630.
2. C.C. CHANG and J. KEISLER, Model theory, 3rd ed., North-Holland, 1990.
3. Z. CHATZIDAKIS and E. HRUSHOVSKI, The model theory of difference fields, Transactions of the American Mathematical Society, vol. 351 (1999), no. 8, pp. 2997-3071.
4. O. ENDLER, Valuation theory, Universitext, Spinger-Verlag, Berlin, 1972.
5. W. HODGES, Model theory, Encyclopedia of Mathematics and its Applications, vol. 42, Cambridge University Press, Cambridge, 1993.
6. F.-V. KUHLMANN, On local uniformization in arbitrary characteristic, Fields Institute Preprint Series (Toronto), July 1997.
7. D. MARKER, Model theory of differential fields, Model theory of groups, Lecture notes in logic, vol. 5, Springer-Verlag, New York.
8. C. MICHAUX, Ph.D. thesis, Université Paris VII, 1991.
9. B. NEUMANN, On ordered division rings, Transacton of the American Mathematical Society, vol. 66 (1949), pp. 202-252.
10. M. RAYNAUD, Anneaux locaux henséliens, Lecture notes in mathematics, vol. 169, Springer-Verlag, Berlin-New York, 1970.
11. T. SCANLON, Quantifier elimination for the relative Frobenius, preprint, 2000.
12. _, Model theory of valued D-fields, Ph.D. thesis, Harvard University, May 1997.
13. O.F.G. SCHILLING, The theory of valuations, American Mathematical Society Mathematical Survey, vol. 4, 1950.
14. V. WEISPFENNING, Quantifier eliminable ordered abelian groups, Algebra and order (Luminy-Marseille, 1984), R & E Res. Exp. Math., vol. 14, Heldermann, Berlin, 1986, pp. 113-126.