3 papers
math.LO2024
Undecidability of infinite algebraic extensions of
Carlos Martinez-Ranero, Dubraska Salcedo, Javier Utreras
Building on work of J. Robinson and A. Shlapentokh, we develop a general framework to obtain definability and decidability results of large classes of infinite algebraic extensions…
math.LO2020
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…
math.LO2018
Undecidability of
Carlos Martinez-Ranero, Javier Utreras, Carlos R. Videla
It is shown that the compositum of all degree 2 extensions of has undecidable theory.