Hilbert's tenth problem for complex meromorphic functions in several variables

DOI10.1093/IMRN/RNAB185arXiv1711.09412MaRDI QIDQ6294397FDOQ6294397

Authors: Thanases Pheidas, Xavier Vidaux 

Publication date: 26 November 2017

Abstract: We prove an analogue of Hilbert's Tenth Problem for complex meromorphic functions. More precisely, we prove that the set of integers is positive existentially definable in fields of complex meromorphic functions in several variables over the language of rings, together with constant symbols for two of the independent variables and the set of constants, a unary relation symbol for non-zero functions, and a unary relation symbol for evaluation at a fixed point (a place). We obtain a similar result for analytic functions, where the place appears in the language as a binary predicate. In both cases, we only require the functions to be meromorphic (or analytic) on a set containing $mathbbC$ in one of the variables (it can be germs in all the other variables).

Mathematics Subject Classification ID

Meromorphic mappings in several complex variables (32H04) Recursively (computably) enumerable sets and degrees (03D25) Analytic spaces (32C99) Applications of logic to commutative algebra (13L05)

This page was built for publication: Hilbert's tenth problem for complex meromorphic functions in several variables

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6294397)