| 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 |
Generically Computable abelian groups
Unconventional Computation and Natural Computation | 2024-01-12 | Paper |
STRUCTURAL HIGHNESS NOTIONS
Journal of Symbolic Logic | 2023-12-22 | Paper |
| Normality, Relativization, and Randomness | 2023-12-15 | Paper |
| Computability in infinite Galois theory and algorithmically random algebraic fields | 2023-12-07 | Paper |
Generically and coarsely computable isomorphisms
Computability | 2023-01-12 | Paper |
Densely computable structures
Journal Of Logic And Computation | 2022-09-08 | Paper |
INTERPRETING A FIELD IN ITS HEISENBERG GROUP
Journal of Symbolic Logic | 2022-08-29 | Paper |
| The cardinality of an oracle in Blum-Shub-Smale computation | 2021-02-16 | Paper |
Interpreting a field in its Heisenberg group
(available as arXiv preprint) | 2020-06-21 | Paper |
| Generically Computable Equivalence Structures and Isomorphisms | 2018-08-08 | Paper |
Approximating functions and measuring distance on a graph
Proceedings of the 12th Asian Logic Conference | 2017-05-31 | Paper |
Some results on \(\mathbb{R}\)-computable structures
(available as arXiv preprint) | 2016-01-27 | Paper |
PAC learning, VC dimension, and the arithmetic hierarchy
Archive for Mathematical Logic | 2015-11-18 | Paper |
Genericity and UD-random reals
Journal of Logic and Analysis | 2015-08-27 | Paper |
Turing degrees of isomorphism types of geometric objects
Computability | 2015-02-24 | Paper |
Degeneration and orbits of tuples and subgroups in an Abelian group.
Journal of Group Theory | 2013-08-16 | Paper |
| The Distance Function on a Computable Graph | 2011-11-10 | Paper |
Metric structures and probabilistic computation
Theoretical Computer Science | 2011-06-06 | Paper |
Noncomputable functions in the Blum-Shub-Smale model
Logical Methods in Computer Science | 2011-05-26 | Paper |
Real Computable Manifolds and Homotopy Groups
Lecture Notes in Computer Science | 2009-10-22 | Paper |
Effective categoricity of abelian \(p\)-groups
Annals of Pure and Applied Logic | 2009-06-10 | Paper |
Categoricity of computable infinitary theories
Archive for Mathematical Logic | 2009-03-17 | Paper |
Index sets of computable structures
Algebra and Logic | 2008-12-18 | Paper |
| Effective completeness for real computation | 2008-07-22 | Paper |
| Structures in Familiar Classes Which Have Scott Rank $\omega_1^{CK}$ | 2008-03-22 | Paper |
| Three notions of effective computation on $\mathbb{R}$ | 2008-03-20 | Paper |
Index sets for classes of high rank structures
Journal of Symbolic Logic | 2008-02-25 | Paper |
| Computable structures of Scott rank \(\omega_1^{CK}\) in familiar classes | 2007-07-30 | Paper |
Turing degrees of isomorphism types of algebraic objects
Journal of the London Mathematical Society | 2007-07-23 | Paper |
Classification from a Computable Viewpoint
The Bulletin of Symbolic Logic | 2007-04-05 | Paper |
Effective categoricity of equivalence structures
Annals of Pure and Applied Logic | 2006-08-16 | Paper |
Comparing Classes of Finite Structures
Algebra and Logic | 2006-07-18 | Paper |
Computable trees of Scott rank ω1CK, and computable approximation
Journal of Symbolic Logic | 2006-07-05 | Paper |
The isomorphism problem for computable Abelian p-groups of bounded length
Journal of Symbolic Logic | 2006-02-08 | Paper |
The isomorphism problem for classes of computable fields
Archive for Mathematical Logic | 2004-12-16 | Paper |
In Memory of Martin Davis
(available as arXiv preprint) | N/A | Paper |
Generically Computable Linear Orderings
(available as arXiv preprint) | N/A | Paper |
