publicaciones seleccionadas artículo académico A finiteness theorem for 2-towers of number fields. POLYNESIAN JOURNAL OF MATHEMATICS. 2(3). 2025 A note on Buell’s Theorem on length four Büchi sequences. CUBO-A MATHEMATICAL JOURNAL . 27(1):1-15. 2025 Effectivity for existence of rational points is undecidable. JOURNAL OF NUMBER THEORY. 276:81-97. 2025 Endomorphisms and dynamic on the affine buchi's quadratic 4 surface. MOSCOW MATHEMATICAL JOURNAL. 24(3):441-459. 2024 Existential decidability for addition and divisibility in holomorphy subrings of global fields. JOURNAL OF NUMBER THEORY. 241:504-530. 2022 Hilbert's Tenth Problem for Complex Meromorphic Functions in Several Variables. INTERNATIONAL MATHEMATICS RESEARCH NOTICES. 2022(19):15474-15504. 2022 The diophantine problem for rings of exponential polynomials. ANNALI DELLA SCUOLA NORMALE SUPERIORE DI PISA-CLASSE DI SCIENZE. 23(4):1625-1636. 2022 Dedekind's criterion for the monogenicity of a number field versus Uchida's and Lüneburg's. TOHOKU MATHEMATICAL JOURNAL. 73(3):433-447. 2021 Julia Robinson Numbers and Arithmetical Dynamic of Quadratic Polynomials. INDIANA UNIVERSITY MATHEMATICS JOURNAL. 69(3):873-885. 2020 Buchi´s problem in modular arithmetic for arbitrary quadratic polynomials. CANADIAN MATHEMATICAL BULLETIN-BULLETIN CANADIEN DE MATHEMATIQUES. 62(4):876-885. 2019 A note on the Northcott property and undecidability. BULLETIN OF THE LONDON MATHEMATICAL SOCIETY. 48(1):58-62. 2016 Positive existential definability of multiplication from addition and the range of a polynomial. ISRAEL JOURNAL OF MATHEMATICS. 216:273-306. 2016 Definability of the natural numbers in totally real towers of nested square roots. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY. 143(10):4463-4477. 2015 Optimal bounds for Büchi's problem in modular arthmetic. JOURNAL OF NUMBER THEORY. 149:368-403. 2015 Uniform existential interpretation of arithmetic in rings of functions of positive characteristic. INVENTIONES MATHEMATICAE. 196:453-484. 2014 A Characterization of Büchi's Integer Sequences of Length 3. ACTA ARITHMETICA. 149(1):37-56. 2011 Polynbomial parametrizations of lengh 4 Büchi sequences. ACTA ARITHMETICA. 150(3):209-226. 2011 The analogue of Büchi's problem for function fields. JOURNAL OF ALGEBRA. 330:482-506. 2011 A Survey on Büchi's Problem: New Presentations and Open Problems. ZAPISKI NUCHNYKH SEMINAROV POMI. 377:111-140. 2010 Corrigendum: The Analogue of Büchi's Problem for Rational Functions. JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES. 82:273-278. 2010 The Analogue of Büchi's Problem for Cubes in Rings of Polynomials. PACIFIC JOURNAL OF MATHEMATICS. 238(2):349-366. 2008 The Analogue of Büchi's Problem for Rational Functions. JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES. 74:545-565. 2006 Extensions of Büchi's Problem: Questions of Decidability for Addition and kth Powers. FUNDAMENTA MATHEMATICAE. 185:171-194. 2005 The Analogue of Büchi's Problem for Polynomials. LECTURE NOTES IN COMPUTER SCIENCE. 3526:408-417. 2005 An Analogue of Hilbert's 10th Problem for Fiels of Meromorphic Functions Over Non-Archimedean Valued Fields. JOURNAL OF NUMBER THEORY. 101:48-73. 2003 Multiplication Complexe et Equivalence Elementaire dans le Langage des Corps. JOURNAL OF SYMBOLIC LOGIC. 67(2):635-648. 2002 Equivalence Elémentaire de Corps Elliptiques. COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE. 330(1):1-4. 2000