| Publication | Date of Publication | Type |
|---|
| Computability in infinite Galois theory and algorithmically random algebraic fields | 2024-11-20 | Paper |
| In memory of Martin Davis | 2024-09-26 | Paper |
| Defining \(\mathbb{Z}\) using unit groups | 2024-08-30 | Paper |
| Corrigendum to: ``Existential definability and Diophantine stability | 2024-06-17 | Paper |
| Computability in infinite Galois theory and algorithmically random algebraic fields | 2023-12-07 | Paper |
| Existential definability and diophantine stability | 2023-10-11 | Paper |
| Defining $\mathbb Z$ using unit groups | 2023-03-04 | Paper |
| On existential definitions of c.e. subsets of rings of functions of characteristic 0 | 2022-03-03 | Paper |
| Hilbert's Tenth Problem | 2021-08-12 | Paper |
| Extensions of Hilbert's tenth problem: definability and decidability in number theory | 2020-08-06 | Paper |
| First-order theory of a field and its Inverse Galois Problem | 2020-07-25 | Paper |
| First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers | 2018-08-22 | Paper |
| A computable functor from graphs to fields | 2018-05-02 | Paper |
| As easy as \(\mathbb {Q}\): Hilbert's tenth problem for subrings of the rationals and number fields | 2017-10-11 | Paper |
| Decidable algebraic fields | 2017-08-03 | Paper |
| Hilbert's tenth problem over function fields of positive characteristic not containing the algebraic closure of a finite field | 2017-06-28 | Paper |
| Hilbert’s Tenth Problem for Subrings of $${\mathbb {Q}}$$ and Number Fields (Extended Abstract) | 2015-09-30 | Paper |
| Definability and decidability in infinite algebraic extensions | 2015-06-17 | Paper |
| Categoricity properties for computable algebraic fields | 2015-04-22 | Paper |
| Computable categoricity for algebraic fields with splitting algorithms | 2015-04-22 | Paper |
| Turing degrees of isomorphism types of geometric objects | 2015-02-24 | Paper |
| On definitions of polynomials over function fields of positive characteristi | 2015-02-09 | Paper |
| Hilbert's tenth problem and Mazur's conjectures in complementary subrings of number fields | 2013-08-05 | Paper |
| Elliptic curve points and Diophantine models of \(\mathbb Z\) in large subrings of number fields | 2012-09-06 | Paper |
| The analogue of Büchi's problem for function fields | 2011-07-25 | Paper |
| Defining integers | 2011-06-28 | Paper |
| Defining the integers in large rings of a number field using one universal quantifier | 2010-01-15 | Paper |
| Diophantine undecidability of holomorphy rings of function fields of characteristic 0 | 2009-12-02 | Paper |
| Undecidability in Function Fields of Positive Characteristic | 2009-11-11 | Paper |
| Rational separability of the integral closure | 2009-08-26 | Paper |
| Rings of algebraic numbers in infinite extensions of \(\mathbb Q\) and elliptic curves retaining their rank | 2009-03-17 | Paper |
| Using Indices of Points on an Elliptic Curve to Construct A Diophantine Model of $\Z$ and Define $\Z$ Using One Universal Quantifier in Very Large Subrings of Number Fields, Including $\Q$ | 2009-01-26 | Paper |
| Diophantine undecidability for some function fields of infinite transcendence degree and positive characteristic | 2008-08-18 | Paper |
| Elliptic curves retaining their rank in finite extensions and Hilbert's Tenth Problem for rings of algebraic numbers | 2008-06-27 | Paper |
| Turing degrees of isomorphism types of algebraic objects | 2007-07-23 | Paper |
| Diophantine definability and decidability in extensions of degree 2 of totally real fields | 2007-06-25 | Paper |
| Hilbert's tenth problem. Diophantine classes and extensions to global fields | 2007-02-22 | Paper |
| Diophantine definability of infinite discrete nonarchimedean sets and Diophantine models over large subrings of number fields | 2005-12-06 | Paper |
| First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0 | 2005-10-26 | Paper |
| Existential definability with bounds on archimedean valuations | 2005-02-09 | Paper |
| On Diophantine definability and decidability in some infinite totally real extensions of ℚ | 2004-08-13 | Paper |
| On Dipphantine definability and decidability in some rings of algebraic functions of characteristic 0 | 2003-05-29 | Paper |
| Generalised weak presentations | 2003-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4779941 | 2002-10-29 | Paper |
| Diophantine definability and decidability in large subrings of totally real number fields and their totally complex extensions of degree 2 | 2002-10-16 | Paper |
| Hilbert's Tenth Problem over number fields, a survey | 2002-10-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4546151 | 2002-08-19 | Paper |
| Defining integrality at prime sets of high density over function fields | 2002-06-10 | Paper |
| Diophantine definability over non-finitely generated non-degenerate modules of algebraic extensions of \(\mathbb{Q}\) | 2002-04-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4513976 | 2001-03-11 | Paper |
| Hilbert's tenth problem for algebraic function fields over infinite fields of constants of positive characteristic | 2000-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4946104 | 2000-09-20 | Paper |
| Defining integrality at prime sets of high density in number fields. | 2000-03-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4399372 | 1999-09-15 | Paper |
| Weak presentations of non-finitely generated fields | 1999-06-24 | Paper |
| DIOPHANTINE DEFINABILITY OVER HOLOMORPHY RINGS OF ALGEBRAIC FUNCTION FIELDS WITH INFINITE NUMBER OF PRIMES ALLOWED AS POLES | 1999-06-01 | Paper |
| The logic of pseudo-\(S\)-integers | 1998-08-03 | Paper |
| Diophantine definability over some rings of algebraic numbers with infinite number of primes allowed in the denominator | 1998-05-25 | Paper |
| Algebraic and Turing separability of rings | 1997-04-24 | Paper |
| Rational separability over a global field | 1997-03-11 | Paper |
| Diophantine undecidability over algebraic function fields over finite fields of constants | 1997-03-05 | Paper |
| Polynomials with a given discriminant over fields of algebraic functions of positive characteristic | 1996-12-09 | Paper |
| Non-standard extensions of weak presentations | 1996-10-21 | Paper |
| Weak presentations of computable fields | 1995-06-08 | Paper |
| Diophantine equivalence and countable rings | 1995-04-11 | Paper |
| Diophantine classes of holomorphy rings of global fields | 1994-12-20 | Paper |
| Diophantine undecidability for some holomorphy rings of algebraic functions of characteristic 0. | 1994-10-10 | Paper |
| Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of \(\mathbb{Q}\) | 1994-08-29 | Paper |
| Diophantine relations between rings of S-integers of fields of algebraic functions in one variable over constant fields of positive characteristic | 1993-08-17 | Paper |
| A Diophantine definition of rational integers over some rings of algebraic numbers | 1993-02-22 | Paper |
| Hilbert's Tenth Problem for Rings of Algebraic Functions in One Variable Over Fields of Constants of Positive Characteristic | 1992-11-29 | Paper |
| A diophantine definition of integers in the rings of rational numbers | 1992-09-27 | Paper |
| Hilbert's Tenth Problem for rings of algebraic functions of characteristic 0 | 1992-06-28 | Paper |
| Diophantine definitions for some polynomial rings | 1990-01-01 | Paper |
| Extension of Hilbert's tenth problem to some algebraic number fields | 1989-01-01 | Paper |
| Diophantine relationships between algebraic number fields | 1989-01-01 | Paper |
| In Memory of Martin Davis | N/A | Paper |
