publicaciones seleccionadas artículo académico 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 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