| Publication | Date of Publication | Type |
|---|
| Effectivity for existence of rational points is undecidable | 2023-11-03 | Paper |
The Diophantine problem for rings of exponential polynomials ANNALI SCUOLA NORMALE SUPERIORE - CLASSE DI SCIENZE | 2023-01-23 | Paper |
Hilbert’s Tenth Problem for Complex Meromorphic Functions in Several Variables IMRN. International Mathematics Research Notices | 2022-10-06 | Paper |
Existential decidability for addition and divisibility in holomorphy subrings of global fields Journal of Number Theory | 2022-08-25 | Paper |
Dedekind's criterion for the monogenicity of a number field versus Uchida's and Lüneburg's Tôhoku Mathematical Journal. Second Series | 2022-02-14 | Paper |
Existential decidability for addition and divisibility in holomorphy subrings of global fields (available as arXiv preprint) | 2020-10-26 | Paper |
Julia Robinson numbers and arithmetical dynamic of quadratic polynomials Indiana University Mathematics Journal | 2020-05-13 | Paper |
Büchi's problem in modular arithmetic for arbitrary quadratic polynomials Canadian Mathematical Bulletin | 2019-11-12 | Paper |
Hilbert's tenth problem for complex meromorphic functions in several variables (available as arXiv preprint) | 2017-11-26 | Paper |
Positive existential definability of multiplication from addition and the range of a polynomial Israel Journal of Mathematics | 2017-01-11 | Paper |
A note on the Northcott property and undecidability Bulletin of the London Mathematical Society | 2016-02-22 | Paper |
Definability of the natural numbers in totally real towers of nested square roots Proceedings of the American Mathematical Society | 2015-09-08 | Paper |
Optimal bounds for Büchi's problem in modular arithmetic Journal of Number Theory | 2015-02-04 | Paper |
Uniform existential interpretation of arithmetic in rings of functions of positive characteristic Inventiones Mathematicae | 2014-05-12 | Paper |
A survey on Büchi's problem: new presentations and open problems Journal of Mathematical Sciences (New York) | 2014-01-16 | Paper |
Polynomial parametrizations of length 4 Büchi sequences Acta Arithmetica | 2011-10-14 | Paper |
Polynomial parametrizations of length 4 Büchi sequences Acta Arithmetica | 2011-10-14 | Paper |
The analogue of Büchi's problem for function fields Journal of Algebra | 2011-07-25 | Paper |
A characterization of Büchi's integer sequences of length 3 Acta Arithmetica | 2011-05-27 | Paper |
The analogue of Büchi's problem for cubes in rings of polynomials Pacific Journal of Mathematics | 2008-11-14 | Paper |
THE ANALOGUE OF BÜCHI'S PROBLEM FOR RATIONAL FUNCTIONS Journal of the London Mathematical Society | 2007-02-07 | Paper |
New Computational Paradigms Lecture Notes in Computer Science | 2006-01-11 | Paper |
Extensions of Büchi's problem: Questions of decidability for addition and kth powers Fundamenta Mathematicae | 2005-05-20 | Paper |
An analogue of Hilbert's 10th problem for fields of meromorphic functions over non-Archimedean valued fields Journal of Number Theory | 2003-07-30 | Paper |
Multiplication complexe et équivalence élémentaire dans le langage des corps (Complex multiplication and elementary equivalence in the language of fields) Journal of Symbolic Logic | 2003-06-13 | Paper |
Équivalence élémentaire de corps elliptiques Comptes Rendus de l'Académie des Sciences - Series I - Mathematics | 2000-01-01 | Paper |
An approach to Julia Robinson numbers through the lattice of subfields (available as arXiv preprint) | N/A | Paper |