2 papers
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.