Project Euclid

References

• S. Anscombe and A. Fehm, “Characterizing diophantine henselian valuation rings and valuation ideals”, preprint, 2016.
  arXiv: 1602.01233
  Mathematical Reviews (MathSciNet): MR3684106
  Digital Object Identifier: doi:10.1112/plms.12042
  
• W. Anscombe and J. Koenigsmann, “An existential ${\emptyset}$-definition of $\mathbb{F}\sb q[\![t]\!]$ in $\mathbb{F}\sb q(\!(t)\!)$”, J. Symb. Log. 79:4 (2014), 1336–1343.
  Mathematical Reviews (MathSciNet): MR3343541
  Zentralblatt MATH: 06412783
  Digital Object Identifier: doi:10.1017/jsl.2014.27
  
• S. Anscombe and F.-V. Kuhlmann, “Notes on extremal and tame valued fields”, 2016, hook http://math.usask.ca/~fvk/EXTRNOT.pdf \posturlhook. To appear in J. Sym. Logic.
  URL: Link to item
  
• R. Cluckers, J. Derakhshan, E. Leenknegt, and A. Macintyre, “Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields”, Ann. Pure Appl. Logic 164:12 (2013), 1236–1246.
  Mathematical Reviews (MathSciNet): MR3093389
  Zentralblatt MATH: 06476481
  Digital Object Identifier: doi:10.1016/j.apal.2013.06.010
  
• J. Denef and H. Schoutens, “On the decidability of the existential theory of $\mathbb{F}\sb p[\![t]\!]$”, pp. 43–60 in Valuation theory and its applications (Saskatoon, 1999), vol. II, edited by F.-V. Kuhlmann et al., Fields Inst. Commun. 33, Amer. Math. Soc., Providence, RI, 2003.
  Mathematical Reviews (MathSciNet): MR2018551
  Zentralblatt MATH: 1046.12006
  
• I. Efrat, Valuations, orderings, and Milnor $K$-theory, Mathematical Surveys and Monographs 124, Amer. Math. Soc., Providence, RI, 2006.
  Mathematical Reviews (MathSciNet): MR2215492
  Zentralblatt MATH: 1103.12002
  
• A. J. Engler and A. Prestel, Valued fields, Springer, Berlin, 2005.
  Mathematical Reviews (MathSciNet): MR2183496
  Zentralblatt MATH: 1128.12009
  
• A. Fehm, “Existential $\varnothing$-definability of Henselian valuation rings”, J. Symb. Log. 80:1 (2015), 301–307.
  Mathematical Reviews (MathSciNet): MR3320595
  Zentralblatt MATH: 06437564
  Digital Object Identifier: doi:10.1017/jsl.2014.13
  
• Y. S. Gurevich and A. I. Kokorin, “Universal equivalence of ordered Abelian groups”, Algebra i Logika Sem. 2:1 (1963), 37–39. In Russian.
  Mathematical Reviews (MathSciNet): MR0155753
  
• J. Koenigsmann, “Undecidability in number theory”, pp. 159–195 in Model theory in algebra, analysis and arithmetic, edited by H. D. Macpherson and C. Toffalori, Lecture Notes in Math. 2111, Springer, Heidelberg, 2014.
  Mathematical Reviews (MathSciNet): MR3330199
  Zentralblatt MATH: 06447421
  
• F.-V. Kuhlmann, “Elementary properties of power series fields over finite fields”, J. Symbolic Logic 66:2 (2001), 771–791.
  Mathematical Reviews (MathSciNet): MR1833477
  Zentralblatt MATH: 0992.03046
  Digital Object Identifier: doi:10.2307/2695043
  
• F.-V. Kuhlmann, “Value groups, residue fields, and bad places of rational function fields”, Trans. Amer. Math. Soc. 356:11 (2004), 4559–4600.
  Mathematical Reviews (MathSciNet): MR2067134
  Zentralblatt MATH: 1122.12005
  Digital Object Identifier: doi:10.1090/S0002-9947-04-03463-4
  
• F.-V. Kuhlmann, “Valuation theory”, book in progress, 2011, hook http://math.usask.ca/~fvk/Fvkbook.htm \posturlhook.
  URL: Link to item
  
• F.-V. Kuhlmann, “The algebra and model theory of tame valued fields”, J. Reine Angew. Math. (online publication May 2014).
• F.-V. Kuhlmann, M. Pank, and P. Roquette, “Immediate and purely wild extensions of valued fields”, Manuscripta Math. 55:1 (1986), 39–67.
  Mathematical Reviews (MathSciNet): MR828410
  Zentralblatt MATH: 0593.12018
  Digital Object Identifier: doi:10.1007/BF01168612
  
• D. Marker, Model theory: an introduction, Graduate Texts in Mathematics 217, Springer, New York, 2002.
  Mathematical Reviews (MathSciNet): MR1924282
  Zentralblatt MATH: 1003.03034
  
• A. Prestel, “Definable Henselian valuation rings”, J. Symb. Log. 80:4 (2015), 1260–1267.
  Mathematical Reviews (MathSciNet): MR3436367
  Zentralblatt MATH: 06559650
  Digital Object Identifier: doi:10.1017/jsl.2014.52
  
• A. Prestel and C. N. Delzell, Mathematical logic and model theory: a brief introduction, Springer, London, 2011.
  Mathematical Reviews (MathSciNet): MR3025452
  Zentralblatt MATH: 1241.03001
  
• J.-P. Serre, Local fields, Graduate Texts in Mathematics 67, Springer, New York, 1979.
  Mathematical Reviews (MathSciNet): MR554237
  Zentralblatt MATH: 0423.12016