Skip to content



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

Skip to toolbar