Papers
Redundancy of information: lowering dimension
With Joseph Miller, Mariya Soskova, Linda Brown Westrick
PA relative to an enumeration oracle
With Iskander Kalimullin, Joseph Miller, Mariya Soskova
To appear in Journal of Symbolic Logic
The strength of an axiom of choice for branches in trees
To appear in Journal of Symbolic Logic
Extensions of two constructions of Ahmad
With Steffen Lempp, Keng Meng Ng, Mariya Soskova
Computability, vol. 11, no. 3-4, pp. 269-297, 2022
Halin’s infinite ray theorems: complexity and reverse mathematics
With James S. Barnes and Richard A. Shore
Theorems of Hyperarithmetic Analysis and Almost Theorems of Hyperarithmetic Analysis
With James S. Barnes and Richard A. Shore
Bulletin of Symbolic Logic, vol. 28, Issue 1, pp. 133-149, March 2022
(This communication reports on the two papers above and work by Shore on almost theorems of hyperarithmetic analysis.)
Finding descending sequences through ill-founded linear orders
With Arno Pauly and Manlio Valenti
Journal of Symbolic Logic, vol. 86, no. 2, pp. 817-854, 2021
Some computability-theoretic reductions between principles around ATR_0
Part of this has appeared in Annals of Pure and Applied Logic vol. 171 no. 6 2020 under the title Embeddings between well-orderings: Computability-theoretic reductions.
Ramsey’s theorem and products in the Weihrauch degrees
With Damir D. Dzhafarov, Denis R. Hirschfeldt, Ludovic Patey, Arno Pauly
Computability vol. 9, no. 2, pp. 85-110, 2020
Compositions of multi-valued functions
Computability vol. 9, no. 3-4, pp. 231-247, 2020
Notes and Talks
Redundancy in information: Lowering effective dimension (19th International Conference on Computability and Complexity in Analysis, May 2022): dim_distance_slides
Extensions of embeddings in the Sigma^0_2 enumeration degrees (Association of Symbolic Logic North American Annual Meeting, Cornell, April 2022): ahmad_slides, youtube of a different talk on the same topic
Pi^0_1 classes relative to an enumeration oracle (New directions in computability theory, Luminy, March 2022): e-classes_slides
Expository slides on Hilbert’s 10th problem (Logic Association of Malaysia Introductory Logic Course, February 2022): diophantine_slides, youtube part 1, youtube part 2, youtube part 3
Inseparable pairs and recursion theory (Boise Extravaganza in Set Theory, June 2021): inseparable_slides
Computing descending sequences in linear orderings (Computability Theory and Applications Online Seminar, Aug 2020): ds_slides, youtube
A Sigma^1_1 axiom of finite choice and Steel forcing (Workshop on Digitalization and Computable Models, virtual in Novosibirsk, July 2020): finite_choice_slides
I wrote some notes for a topics course on Weihrauch reducibility: 873_f19_notes
My PhD thesis, supervised by Richard A. Shore: thesis
A theorem of Halin and hyperarithmetic analysis (ASL North American Annual Meeting, New York, NY, May 2019): irt_slides
Some reductions between theorems around ATR_0 (Computability Theory and Applications, Waterloo, Canada, June 2018): atr_slides
Compositions of multivalued functions (Asian Logic Conference, Daejeon, Korea, July 2017): compositions_slides