1 citations · 1 across the 5 of their papers we have counts for
3 papers · 1 filter
Existential decidability for addition and divisibility in holomorphy subrings of global fields
Carlos Martinez-Ranero, Javier Utreras, Xavier Vidaux
We investigate the problem of deciding whether a system of linear equations, together with divisibility conditions on the variables, has a solution over holomorphy subrings of glob…
Hilbert's tenth problem for complex meromorphic functions in several variables
Thanases Pheidas, Xavier Vidaux
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 o…
Uniform Definability and Undecidability in Classes of Structures
Hector Pasten, Thanases Pheidas, Xavier Vidaux
We present a concept of uniform encodability of theories and develop tools related to this concept. As an application we obtain general undecidability results which are uniform for…