## 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