| Publication | Date of Publication | Type |
|---|
| A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF | 2024-02-23 | Paper |
| Direct construction of Scott ideals | 2024-01-12 | Paper |
| Computability for the absolute Galois group of $\mathbb{Q}$ | 2023-07-17 | Paper |
| Differentially closed fields and universality on a cone | 2023-01-13 | Paper |
| Effectivizing Lusin’s Theorem | 2023-01-09 | Paper |
| Non-coding enumeration operators | 2022-12-16 | Paper |
| INTERPRETING A FIELD IN ITS HEISENBERG GROUP | 2022-08-29 | Paper |
| HTP-COMPLETE RINGS OF RATIONAL NUMBERS | 2022-04-12 | Paper |
| Computable procedures for fields | 2022-03-22 | Paper |
| On existential definitions of c.e. subsets of rings of functions of characteristic 0 | 2022-03-03 | Paper |
| Model completeness and relative decidability | 2021-07-21 | Paper |
| Computable Reducibility for Cantor Space | 2021-06-15 | Paper |
| The cardinality of an oracle in Blum-Shub-Smale computation | 2021-02-16 | Paper |
| Measure theory and Hilbert's tenth problem inside \(\mathbb{Q} \) | 2020-12-02 | Paper |
| On decidable categoricity and almost prime models | 2020-10-06 | Paper |
| Forcing as a computational process | 2020-07-01 | Paper |
| Interpreting a field in its Heisenberg group | 2020-06-21 | Paper |
| Degree spectra for transcendence in fields | 2020-05-12 | Paper |
| Turing degrees of complete formulas of almost prime models | 2020-02-28 | Paper |
| Isomorphism and classification for countable structures | 2020-01-17 | Paper |
| Primitive recursive fields and categoricity | 2019-12-06 | Paper |
| Effectivizing Lusin's Theorem | 2019-08-17 | Paper |
| The Hilbert's-tenth-problem operator | 2019-05-17 | Paper |
| Degree spectra of real closed fields | 2019-03-27 | Paper |
| Model completeness and relative decidability | 2019-03-02 | Paper |
| BOREL FUNCTORS AND INFINITARY INTERPRETATIONS | 2019-01-04 | Paper |
| A computable functor from graphs to fields | 2018-05-02 | Paper |
| Classifications of computable structures | 2018-03-08 | Paper |
| On computable field embeddings and difference closed fields | 2017-12-13 | Paper |
| As easy as \(\mathbb {Q}\): Hilbert's tenth problem for subrings of the rationals and number fields | 2017-10-11 | Paper |
| Computable transformations of structures | 2017-08-04 | Paper |
| TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS | 2017-06-01 | Paper |
| Computable functors and effective interpretability | 2017-06-01 | Paper |
| Approximating functions and measuring distance on a graph | 2017-05-31 | Paper |
| Finitary reducibility on equivalence relations | 2017-04-28 | Paper |
| Revisiting uniform computable categoricity: for the sixtieth birthday of prof. Rod Downey | 2017-04-04 | Paper |
| Baire category theory and Hilbert's tenth problem inside \(\mathbb {Q}\) | 2016-08-17 | Paper |
| Borel Functors and Infinitary Interpretations | 2016-06-23 | Paper |
| Local computability and uncountable structures | 2016-01-27 | Paper |
| Categoricity properties for computable algebraic fields | 2015-04-22 | Paper |
| Computable categoricity for algebraic fields with splitting algorithms | 2015-04-22 | Paper |
| Isomorphisms of non-standard fields and Ash's conjecture | 2015-02-25 | Paper |
| On the effectiveness of symmetry breaking | 2015-02-25 | Paper |
| Complexity of equivalence relations and preorders from computability theory | 2014-12-05 | Paper |
| Computing constraint sets for differential fields | 2014-08-28 | Paper |
| Classes of structures with universe a subset of \(\omega _{1}\) | 2014-04-01 | Paper |
| Computably categorical fields via Fermat's last theorem | 2013-10-10 | Paper |
| Local computability for ordinals | 2013-08-05 | Paper |
| The hierarchy of equivalence relations on the natural numbers under computable reducibility | 2013-01-30 | Paper |
| Spectra of high\(_n\) and non-low\(_n\) degrees | 2012-09-05 | Paper |
| An introduction to computable model theory on groups and fields | 2012-05-07 | Paper |
| The Distance Function on a Computable Graph | 2011-11-10 | Paper |
| \(\text{Low}_5\) Boolean subalgebras and computable copies | 2011-10-10 | Paper |
| Adapting Rabin's theorem for differential fields | 2011-09-09 | Paper |
| Noncomputable functions in the Blum-Shub-Smale model | 2011-05-26 | Paper |
| Computability of Fraïssé limits | 2011-03-18 | Paper |
| Is it harder to factor a polynomial or to find a root? | 2010-10-29 | Paper |
| Simple structures with complex symmetry | 2010-09-25 | Paper |
| Computable fields and Galois theory | 2010-09-10 | Paper |
| The basic theory of infinite time register machines | 2010-03-02 | Paper |
| Degrees of categoricity of computable structures | 2010-01-22 | Paper |
| \(d\)-computable categoricity for algebraic fields | 2010-01-07 | Paper |
| Post's problem for ordinal register machines: an explicit approach | 2009-10-26 | Paper |
| Real Computable Manifolds and Homotopy Groups | 2009-10-22 | Paper |
| Perfect Local Computability and Computable Simulations | 2008-06-19 | Paper |
| An Enhanced Theory of Infinite Time Register Machines | 2008-06-19 | Paper |
| Infinite time computable model theory | 2008-04-29 | Paper |
| Order-computable sets | 2008-02-05 | Paper |
| Locally Computable Structures | 2007-11-13 | Paper |
| Post’s Problem for Ordinal Register Machines | 2007-11-13 | Paper |
| The Complexity of Quickly ORM-Decidable Sets | 2007-11-13 | Paper |
| Spectra of structures and relations | 2007-03-12 | Paper |
| The Computable Dimension of I-Trees of Infinite Height | 2006-07-18 | Paper |
| Enumerations in computable structure theory | 2005-10-26 | Paper |
| The ∀∃-theory of ℛ(≤,∨,∧) is undecidable | 2004-08-13 | Paper |
| Definable incompleteness and Friedberg splittings | 2003-05-29 | Paper |
| Orbits of computably enumerable sets: Low sets can avoid an upper cone | 2002-12-02 | Paper |
| The \(\Delta_2^0\)-spectrum of a linear order | 2002-09-05 | Paper |
| Torsion-free abelian groups of finite rank and fields of finite transcendence degree | N/A | Paper |
