Lugar de publicación
- Effectivity for existence of rational points is undecidable. 276:81-97. 2025
- Existential decidability for addition and divisibility in holomorphy subrings of global fields. 241:504-530. 2022
- Optimal bounds for Büchi's problem in modular arthmetic. 149:368-403. 2015
- An Analogue of Hilbert's 10th Problem for Fiels of Meromorphic Functions Over Non-Archimedean Valued Fields. 101:48-73. 2003