共 19 条
- [1] Anscombe S., 2016, J SYM LOGIC IN PRESS
- [2] Anscombe S., 2016, PREPRINT
- [3] AN EXISTENTIAL O-DEFINITION OF Fq[[t]] IN Fq((t)) [J]. JOURNAL OF SYMBOLIC LOGIC, 2014, 79 (04) : 1336 - 1343
- [5] Denef, 2003, Fields Inst. Commun., V33, P43
- [6] Efrat I., 2006, Math. Surveys and Monographs, V124
- [7] Engler A.J., 2005, SPRINGER MG MATH
- [9] Gurevich Y.S., 1963, Algebra i Logika. Sem, V2, P37
- [10] Undecidability in Number Theory [J]. MODEL THEORY IN ALGEBRA, ANALYSIS AND ARITHMETIC, 2014, 2111 : 159 - 195