-
An approach to Julia Robinson numbers through the lattice of subfields
JOURNAL OF PURE AND APPLIED ALGEBRA 2026 ARTÍCULO WOS - SCOPUS AUTOR
-
A finiteness theorem for 2-towers of number fields
POLYNESIAN JOURNAL OF MATHEMATICS 2025 ARTÍCULO AUTOR
-
Effectivity for existence of rational points is undecidable
JOURNAL OF NUMBER THEORY 2025 ARTÍCULO WOS - SCOPUS AUTOR
-
A note on Buell’s Theorem on length four Büchi sequences
CUBO-A MATHEMATICAL JOURNAL 2025 ARTÍCULO EMERGENTE - CATÁLOGO - SCIELO - SCOPUS AUTOR
-
Endomorphisms and dynamic on the affine buchi's quadratic 4 surface
MOSCOW MATHEMATICAL JOURNAL 2024 ARTÍCULO WOS - SCOPUS AUTOR
-
Existential decidability for addition and divisibility in holomorphy subrings of global fields
JOURNAL OF NUMBER THEORY 2022 ARTÍCULO WOS - SCOPUS AUTOR
-
Hilbert's Tenth Problem for Complex Meromorphic Functions in Several Variables
INTERNATIONAL MATHEMATICS RESEARCH NOTICES 2022 ARTÍCULO WOS - SCOPUS AUTOR
-
The diophantine problem for rings of exponential polynomials
ANNALI DELLA SCUOLA NORMALE SUPERIORE DI PISA-CLASSE DI SCIENZE 2022 ARTÍCULO WOS - SCOPUS AUTOR
-
Dedekind's criterion for the monogenicity of a number field versus Uchida's and Lüneburg's
TOHOKU MATHEMATICAL JOURNAL 2021 ARTÍCULO WOS - SCOPUS AUTOR
-
Julia Robinson Numbers and Arithmetical Dynamic of Quadratic Polynomials
INDIANA UNIVERSITY MATHEMATICS JOURNAL 2020 ARTÍCULO WOS - SCOPUS AUTOR
-
Buchi´s problem in modular arithmetic for arbitrary quadratic polynomials
CANADIAN MATHEMATICAL BULLETIN-BULLETIN CANADIEN DE MATHEMATIQUES 2019 ARTÍCULO WOS - SCOPUS AUTOR
-
A note on the Northcott property and undecidability
BULLETIN OF THE LONDON MATHEMATICAL SOCIETY 2016 ARTÍCULO WOS - SCOPUS AUTOR
-
Positive existential definability of multiplication from addition and the range of a polynomial
ISRAEL JOURNAL OF MATHEMATICS 2016 ARTÍCULO WOS - SCOPUS AUTOR
-
Optimal bounds for Büchi's problem in modular arthmetic
JOURNAL OF NUMBER THEORY 2015 ARTÍCULO WOS - SCOPUS AUTOR
-
DEFINABILITY OF THE NATURAL NUMBERS IN TOTALLY REAL TOWERS OF NESTED SQUARE ROOTS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY 2015 ARTÍCULO WOS - SCOPUS AUTOR
-
Uniform existential interpretation of arithmetic in rings of functions of positive characteristic
INVENTIONES MATHEMATICAE 2014 ARTÍCULO WOS - SCOPUS AUTOR -
The analogue of Büchi's problem for function fields
JOURNAL OF ALGEBRA 2011 ARTÍCULO WOS - SCOPUS AUTOR -
A Characterization of Büchi's Integer Sequences of Length 3
ACTA ARITHMETICA 2011 ARTÍCULO WOS - SCOPUS AUTOR -
Polynbomial parametrizations of lengh 4 Büchi sequences
ACTA ARITHMETICA 2011 ARTÍCULO WOS - SCOPUS AUTOR -
Corrigendum: The Analogue of Büchi's Problem for Rational Functions
JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES 2010 ARTÍCULO WOS - SCOPUS AUTOR -
A Survey on Büchi's Problem: New Presentations and Open Problems
ZAPISKI NUCHNYKH SEMINAROV POMI 2010 ARTÍCULO COAUTOR -
The Analogue of Büchi's Problem for Cubes in Rings of Polynomials
PACIFIC JOURNAL OF MATHEMATICS 2008 ARTÍCULO WOS - SCOPUS COAUTOR -
The Analogue of Büchi's Problem for Rational Functions
JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES 2006 ARTÍCULO WOS - SCOPUS COAUTOR -
Extensions of Büchi's Problem: Questions of Decidability for Addition and kth Powers
FUNDAMENTA MATHEMATICAE 2005 ARTÍCULO WOS - SCOPUS AUTOR -
The Analogue of Büchi's Problem for Polynomials
LECTURE NOTES IN COMPUTER SCIENCE 2005 ARTÍCULO SCOPUS AUTOR -
An Analogue of Hilbert's 10th Problem for Fiels of Meromorphic Functions Over Non-Archimedean Valued Fields
JOURNAL OF NUMBER THEORY 2003 ARTÍCULO WOS - SCOPUS AUTOR -
Multiplication Complexe et Equivalence Elementaire dans le Langage des Corps
JOURNAL OF SYMBOLIC LOGIC 2002 ARTÍCULO WOS - SCOPUS AUTOR -
Equivalence Elémentaire de Corps Elliptiques
COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE 2000 ARTÍCULO AUTOR
XV