| Publication | Date of Publication | Type |
|---|
The Diophantine problem for rings of exponential polynomials
ANNALI SCUOLA NORMALE SUPERIORE - CLASSE DI SCIENZE | 2023-01-23 | Paper |
Notes on the decidability of addition and the Frobenius map for polynomials and rational functions
Reports on Mathematical Logic | 2022-12-15 | Paper |
| Non-Diophantine sets in rings of functions | 2022-10-19 | Paper |
Hilbert’s Tenth Problem for Complex Meromorphic Functions in Several Variables
IMRN. International Mathematics Research Notices | 2022-10-06 | Paper |
| Decidability of the theory of addition and the Frobenius map in rings of rational functions | 2021-07-23 | Paper |
Hilbert's tenth problem for complex meromorphic functions in several variables
(available as arXiv preprint) | 2017-11-26 | 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 |
| scientific article; zbMATH DE number 5507563 (Why is no real title available?) | 2009-02-12 | 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 |
Division-ample sets and the Diophantine problem for rings of integers
Journal de Théorie des Nombres de Bordeaux | 2006-03-30 | Paper |
Division-ample sets and the Diophantine problem for rings of integers
Journal de Théorie des Nombres de Bordeaux | 2006-03-30 | Paper |
Division-ample sets and the Diophantine problem for rings of integers
Journal de Théorie des Nombres de Bordeaux | 2006-03-30 | Paper |
Division-ample sets and the Diophantine problem for rings of integers
Journal de Théorie des Nombres de Bordeaux | 2006-03-30 | Paper |
New Computational Paradigms
Lecture Notes in Computer Science | 2006-01-11 | Paper |
Elimination theory for addition and the frobenius map in polynomial rings
Journal of Symbolic Logic | 2005-08-29 | Paper |
Extensions of Büchi's problem: Questions of decidability for addition and kth powers
Fundamenta Mathematicae | 2005-05-20 | Paper |
Diophantine undecidability for addition and divisibility in polynomial rings
Fundamenta Mathematicae | 2004-11-29 | Paper |
Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic.
Journal of Algebra | 2004-03-14 | Paper |
| Undecidability of existential theories of rings and fields: A survey | 2002-03-21 | Paper |
| An effort to prove that the existential theory of \(\mathbb Q\) is undecidable | 2002-03-21 | Paper |
Undecidable existential theories of polynomial rings and function fields
Communications in Algebra | 2000-04-06 | Paper |
An analogue of Hilbert's tenth problem for p-adic entire functions
Journal of Symbolic Logic | 1996-11-04 | Paper |
The diophantine theory of a ring of analytic functions.
Journal für die reine und angewandte Mathematik (Crelles Journal) | 1995-07-02 | Paper |
The diophantine theory of a ring of analytic functions.
Journal für die reine und angewandte Mathematik (Crelles Journal) | 1995-07-02 | Paper |
Extensions of Hilbert's tenth problem
Journal of Symbolic Logic | 1994-08-15 | Paper |
Hilbert's tenth problem for fields of rational functions over finite fields
Inventiones Mathematicae | 1991-01-01 | Paper |
Hilbert's Tenth Problem for a Class of Rings of Algebraic Integers
Proceedings of the American Mathematical Society | 1988-01-01 | Paper |
| An Undecidability Result for Power Series Rings of Positive Characteristic. II | 1987-01-01 | Paper |
| An Undecidability Result for Power Series Rings of Positive Characteristic | 1987-01-01 | Paper |
