| Publication | Date of Publication | Type |
|---|
| Normality, Relativization, and Randomness | 2023-12-15 | Paper |
| Limit Complexities, Minimal Descriptions, and $n$-Randomness | 2022-08-05 | Paper |
Completeness of the hyperarithmetic isomorphism equivalence relation
Advances in Mathematics | 2022-05-31 | Paper |
PUNCTUAL CATEGORICITY AND UNIVERSALITY
Journal of Symbolic Logic | 2021-04-15 | Paper |
| Computable classifications of continuous, transducer, and regular functions | 2020-10-19 | Paper |
| Realizing Computably Enumerable Degrees in Separating Classes | 2020-08-23 | Paper |
Graphs are not universal for online computability
Journal of Computer and System Sciences | 2020-06-09 | Paper |
Effective aspects of algorithmically random structures
Computability | 2020-01-17 | Paper |
Degree spectra of structures relative to equivalences
Algebra and Logic | 2019-12-06 | Paper |
Computability-theoretic categoricity and Scott families
Annals of Pure and Applied Logic | 2019-04-30 | Paper |
Effectively closed subgroups of the infinite symmetric group
Proceedings of the American Mathematical Society | 2018-10-23 | Paper |
Uniform procedures in uncountable structures
Journal of Symbolic Logic | 2018-08-10 | Paper |
Two more characterizations of \(K\)-triviality
Notre Dame Journal of Formal Logic | 2018-05-18 | Paper |
| Martin-L\"of reducibility and cost functions | 2017-07-02 | Paper |
Linear orders realized by c.e. equivalence relations
Journal of Symbolic Logic | 2016-08-19 | Paper |
Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations
Algebra and Logic | 2016-01-13 | Paper |
COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS II: DEGREE SPECTRA
Journal of Symbolic Logic | 2015-05-20 | Paper |
Computability and uncountable linear orders. I: Computable categoricity.
Journal of Symbolic Logic | 2015-05-20 | Paper |
Lowness for effective Hausdorff dimension
Journal of Mathematical Logic | 2015-03-03 | Paper |
Inherent enumerability of strong jump-traceability
Transactions of the American Mathematical Society | 2015-02-02 | Paper |
The complexity of computable categoricity
Advances in Mathematics | 2014-11-17 | Paper |
| Randomness and differentiability in higher dimensions | 2014-10-30 | Paper |
Strong jump-traceability and Demuth randomness
Proceedings of the London Mathematical Society | 2014-04-25 | Paper |
Natural large degree spectra
Computability | 2013-10-10 | Paper |
LIMITWISE MONOTONIC FUNCTIONS AND THEIR APPLICATIONS
Proceedings of the 11th Asian Logic Conference | 2013-06-03 | Paper |
Computable categoricity versus relative computable categoricity
Fundamenta Mathematicae | 2013-05-10 | Paper |
Galvin's ``racing pawns game, internal hyperarithmetic comprehension, and the law of excluded middle
Notre Dame Journal of Formal Logic | 2013-04-25 | Paper |
A \(K\)-trivial set which is not jump traceable at certain orders
Information Processing Letters | 2012-07-25 | Paper |
| \(\Delta^0_2\)-categoricity of equivalence structures | 2011-09-12 | Paper |
Connectedness properties of dimension level sets
Theoretical Computer Science | 2011-07-14 | Paper |
Decidability and computability of certain torsion-free abelian groups
Notre Dame Journal of Formal Logic | 2010-06-11 | Paper |
Limitwise monotonic functions, sets, and degrees on computable domains
Journal of Symbolic Logic | 2010-03-15 | Paper |
