2 citations · 2 across the 2 of their papers we have counts for
2 papers
math.NT2020★ 2 cited
The Diophantine problem for rings of exponential polynomials
D. Chompitaki, N. Garcia-Fritz, H. Pasten +2
One of the main open problems regarding decidability of the existential theory of rings is the analogue of Hilbert's Tenth Problem (HTP) for the ring of entire holomorphic function…
math.LO2010
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…