| Publication | Date of Publication | Type |
|---|
Redundancy of information: lowering effective dimension
Journal of Computer and System Sciences | 2026-02-11 | Paper |
A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF
The Bulletin of Symbolic Logic | 2024-02-23 | Paper |
| Redundancy of information: lowering dimension | 2023-07-21 | Paper |
Three topological reducibilities for discontinuous functions
Transactions of the American Mathematical Society, Series B | 2022-10-28 | Paper |
LUZIN’S (N) AND RANDOMNESS REFLECTION
Journal of Symbolic Logic | 2022-06-15 | Paper |
LUZIN’S (N) AND RANDOMNESS REFLECTION
Journal of Symbolic Logic | 2022-06-15 | Paper |
Effectiveness for the dual Ramsey theorem
Notre Dame Journal of Formal Logic | 2022-02-14 | Paper |
A note on the diamond operator
Computability | 2021-06-25 | Paper |
An effective analysis of the Denjoy rank
Notre Dame Journal of Formal Logic | 2020-07-20 | Paper |
An effective analysis of the Denjoy rank
Notre Dame Journal of Formal Logic | 2020-07-20 | Paper |
Luzin's (N) and randomness reflection
(available as arXiv preprint) | 2020-06-12 | Paper |
THE DETERMINED PROPERTY OF BAIRE IN REVERSE MATH
Journal of Symbolic Logic | 2020-04-17 | Paper |
The reverse mathematics of Hindman's theorem for sums of exactly two elements
Computability | 2020-01-17 | Paper |
| Completely determined Borel sets and measurability | 2020-01-06 | Paper |
| Topological completely positive entropy is no simpler in $\mathbb Z^2$-SFTs | 2019-04-25 | Paper |
WEAKLY 2-RANDOMS AND 1-GENERICS IN SCOTT SETS
Journal of Symbolic Logic | 2018-05-02 | Paper |
Finding bases of uncountable free abelian groups is usually difficult
Transactions of the American Mathematical Society | 2018-03-28 | Paper |
Seas of squares with sizes from a \(\Pi_{1}^{0}\) set
Israel Journal of Mathematics | 2017-12-21 | Paper |
Dimension 1 sequences are close to randoms
Theoretical Computer Science | 2017-11-16 | Paper |
Effectiveness for the Dual Ramsey Theorem
(available as arXiv preprint) | 2017-09-29 | Paper |
Effectiveness of Hindman’s Theorem for Bounded Sums
Computability and Complexity | 2017-04-04 | Paper |
Ramsey's theorem for singletons and strong computable reducibility
Proceedings of the American Mathematical Society | 2016-12-29 | Paper |
A lightface analysis of the differentiability rank
The Journal of Symbolic Logic | 2014-09-30 | Paper |
A lightface analysis of the differentiability rank
The Journal of Symbolic Logic | 2014-09-30 | Paper |
| Topological conjugations are not constructable | 2013-03-09 | Paper |
