| Publication | Date of Publication | Type |
|---|
Computability in infinite Galois theory and algorithmically random algebraic fields
Journal of the London Mathematical Society. Second Series | 2024-11-20 | Paper |
In memory of Martin Davis
Notices of the American Mathematical Society | 2024-09-26 | Paper |
Defining \(\mathbb{Z}\) using unit groups
Acta Arithmetica | 2024-08-30 | Paper |
Corrigendum to: ``Existential definability and Diophantine stability
Journal of Number Theory | 2024-06-17 | Paper |
| Computability in infinite Galois theory and algorithmically random algebraic fields | 2023-12-07 | Paper |
Existential definability and diophantine stability
Journal of Number Theory | 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
Annals of Pure and Applied Logic | 2022-03-03 | Paper |
Hilbert's Tenth Problem
Notices of the American Mathematical Society | 2021-08-12 | Paper |
Extensions of Hilbert's tenth problem: definability and decidability in number theory
Outstanding Contributions to Logic | 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
Israel Journal of Mathematics | 2018-08-22 | Paper |
A computable functor from graphs to fields
Journal of Symbolic Logic | 2018-05-02 | Paper |
A computable functor from graphs to fields
Journal of Symbolic Logic | 2018-05-02 | Paper |
As easy as \(\mathbb {Q}\): Hilbert's tenth problem for subrings of the rationals and number fields
Transactions of the American Mathematical Society | 2017-10-11 | Paper |
Decidable algebraic fields
Journal of Symbolic Logic | 2017-08-03 | Paper |
Hilbert's tenth problem over function fields of positive characteristic not containing the algebraic closure of a finite field
Journal of the European Mathematical Society (JEMS) | 2017-06-28 | Paper |
Hilbert’s Tenth Problem for Subrings of $${\mathbb {Q}}$$ and Number Fields (Extended Abstract)
Lecture Notes in Computer Science | 2015-09-30 | Paper |
Definability and decidability in infinite algebraic extensions
Annals of Pure and Applied Logic | 2015-06-17 | Paper |
Categoricity properties for computable algebraic fields
Transactions of the American Mathematical Society | 2015-04-22 | Paper |
Computable categoricity for algebraic fields with splitting algorithms
Transactions of the American Mathematical Society | 2015-04-22 | Paper |
Turing degrees of isomorphism types of geometric objects
Computability | 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
Mathematical Research Letters | 2013-08-05 | Paper |
Elliptic curve points and Diophantine models of \(\mathbb Z\) in large subrings of number fields
International Journal of Number Theory | 2012-09-06 | Paper |
The analogue of Büchi's problem for function fields
Journal of Algebra | 2011-07-25 | Paper |
Defining integers
The Bulletin of Symbolic Logic | 2011-06-28 | Paper |
Defining the integers in large rings of a number field using one universal quantifier
Journal of Mathematical Sciences (New York) | 2010-01-15 | Paper |
Diophantine undecidability of holomorphy rings of function fields of characteristic 0
Annales de l’institut Fourier | 2009-12-02 | Paper |
Diophantine undecidability of holomorphy rings of function fields of characteristic 0
Annales de l’institut Fourier | 2009-12-02 | Paper |
Undecidability in Function Fields of Positive Characteristic
IMRN. International Mathematics Research Notices | 2009-11-11 | Paper |
Rational separability of the integral closure
Journal of Number Theory | 2009-08-26 | Paper |
Rings of algebraic numbers in infinite extensions of \(\mathbb Q\) and elliptic curves retaining their rank
Archive for Mathematical Logic | 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
Journal of Mathematical Sciences (New York) | 2008-08-18 | Paper |
Elliptic curves retaining their rank in finite extensions and Hilbert's Tenth Problem for rings of algebraic numbers
Transactions of the American Mathematical Society | 2008-06-27 | Paper |
Turing degrees of isomorphism types of algebraic objects
Journal of the London Mathematical Society | 2007-07-23 | Paper |
Diophantine definability and decidability in extensions of degree 2 of totally real fields
Journal of Algebra | 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
Journal für die reine und angewandte Mathematik (Crelles Journal) | 2005-12-06 | Paper |
First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0
Annals of Pure and Applied Logic | 2005-10-26 | Paper |
Existential definability with bounds on archimedean valuations
Journal of Symbolic Logic | 2005-02-09 | Paper |
On Diophantine definability and decidability in some infinite totally real extensions of ℚ
Transactions of the American Mathematical Society | 2004-08-13 | Paper |
On Dipphantine definability and decidability in some rings of algebraic functions of characteristic 0
Journal of Symbolic Logic | 2003-05-29 | Paper |
Generalised weak presentations
Journal of Symbolic Logic | 2003-05-07 | Paper |
scientific article; zbMATH DE number 1821364 (Why is no real title available?)
IMRN. International Mathematics Research Notices | 2002-10-29 | Paper |
Diophantine definability and decidability in large subrings of totally real number fields and their totally complex extensions of degree 2
Journal of Number Theory | 2002-10-16 | Paper |
| Hilbert's Tenth Problem over number fields, a survey | 2002-10-02 | Paper |
scientific article; zbMATH DE number 1783511 (Why is no real title available?)
Compositio Mathematica | 2002-08-19 | Paper |
Defining integrality at prime sets of high density over function fields
Monatshefte für Mathematik | 2002-06-10 | Paper |
Diophantine definability over non-finitely generated non-degenerate modules of algebraic extensions of \(\mathbb{Q}\)
Archive for Mathematical Logic | 2002-04-02 | Paper |
| scientific article; zbMATH DE number 1531933 (Why is no real title available?) | 2001-03-11 | Paper |
Hilbert's tenth problem for algebraic function fields over infinite fields of constants of positive characteristic
Pacific Journal of Mathematics | 2000-12-03 | Paper |
| scientific article; zbMATH DE number 1421078 (Why is no real title available?) | 2000-09-20 | Paper |
Defining integrality at prime sets of high density in number fields.
Duke Mathematical Journal | 2000-03-27 | Paper |
| scientific article; zbMATH DE number 1180113 (Why is no real title available?) | 1999-09-15 | Paper |
Weak presentations of non-finitely generated fields
Annals of Pure and Applied Logic | 1999-06-24 | Paper |
DIOPHANTINE DEFINABILITY OVER HOLOMORPHY RINGS OF ALGEBRAIC FUNCTION FIELDS WITH INFINITE NUMBER OF PRIMES ALLOWED AS POLES
International Journal of Mathematics | 1999-06-01 | Paper |
The logic of pseudo-\(S\)-integers
Israel Journal of Mathematics | 1998-08-03 | Paper |
Diophantine definability over some rings of algebraic numbers with infinite number of primes allowed in the denominator
Inventiones Mathematicae | 1998-05-25 | Paper |
Algebraic and Turing separability of rings
Journal of Algebra | 1997-04-24 | Paper |
Rational separability over a global field
Annals of Pure and Applied Logic | 1997-03-11 | Paper |
Diophantine undecidability over algebraic function fields over finite fields of constants
Journal of Number Theory | 1997-03-05 | Paper |
Polynomials with a given discriminant over fields of algebraic functions of positive characteristic
Pacific Journal of Mathematics | 1996-12-09 | Paper |
Non-standard extensions of weak presentations
Journal of Algebra | 1996-10-21 | Paper |
Weak presentations of computable fields
Journal of Symbolic Logic | 1995-06-08 | Paper |
Diophantine equivalence and countable rings
Journal of Symbolic Logic | 1995-04-11 | Paper |
Diophantine classes of holomorphy rings of global fields
Journal of Algebra | 1994-12-20 | Paper |
Diophantine undecidability for some holomorphy rings of algebraic functions of characteristic 0.
Communications in Algebra | 1994-10-10 | Paper |
Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of \(\mathbb{Q}\)
Annals of Pure and Applied Logic | 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
Journal of Symbolic Logic | 1993-08-17 | Paper |
A Diophantine definition of rational integers over some rings of algebraic numbers
Notre Dame Journal of Formal Logic | 1993-02-22 | Paper |
Hilbert's Tenth Problem for Rings of Algebraic Functions in One Variable Over Fields of Constants of Positive Characteristic
Transactions of the American Mathematical Society | 1992-11-29 | Paper |
A diophantine definition of integers in the rings of rational numbers
Communications on Pure and Applied Mathematics | 1992-09-27 | Paper |
Hilbert's Tenth Problem for rings of algebraic functions of characteristic 0
Journal of Number Theory | 1992-06-28 | Paper |
Diophantine definitions for some polynomial rings
Communications on Pure and Applied Mathematics | 1990-01-01 | Paper |
Extension of Hilbert's tenth problem to some algebraic number fields
Communications on Pure and Applied Mathematics | 1989-01-01 | Paper |
Diophantine relationships between algebraic number fields
Communications on Pure and Applied Mathematics | 1989-01-01 | Paper |
In Memory of Martin Davis
(available as arXiv preprint) | N/A | Paper |
