An analogue of Hilbert's 10th problem for fields of meromorphic functions over non-Archimedean valued fields |
| |
Authors: | X Vidaux |
| |
Institution: | Department of Mathematics, University of Heraklion, 71409 Heraklion, Crete, Greece |
| |
Abstract: | Let K be a complete and algebraically closed valued field of characteristic 0. We prove that the set of rational integers is positive existentially definable in the field of meromorphic functions on K in the language of rings augmented by a constant symbol for the independent variable z and by a symbol for the unary relation “the function x takes the value 0 at 0”. Consequently, we prove that the positive existential theory of in the language is undecidable. In order to obtain these results, we obtain a complete characterization of all analytic projective maps (over K) from an elliptic curve minus a point to , for any elliptic curve defined over the field of constants. |
| |
Keywords: | 03B25 03C40 32P05 |
本文献已被 ScienceDirect 等数据库收录! |
|