Writing

1. The homeomorphisms of the Sierpiński carpet are not classifiable by countable structures [arXiv | DOI]. 

Journal of Topology and Analysis, to appear. Joint work with Aristotelis Panagiotopoulos.

Part of this work was done at the Carnegie Mellon University SURF program.

2. The Logic of Cardinality Comparison Without the Axiom of Choice [arXiv | DOI].

Annals of Pure and Applied Logic, 176(4), 2025. Joint work with Matthew Harrison-Trainor.

Part of this work was done at the University of Michigan Mathematics REU program.

3. A Gentle Introduction to the Axiom of Choice [arXiv].

Submitted. Joint work with Andreas Blass.

4. A Reverse Mathematical Analysis of Hilbert's Nullstellensatz and Basis Theorem [arXiv]. 

Based on: My Mathematics Honors Thesis  with the same title, advised by Andreas Blass and Jamie Tappenden.

5. Cardinal Well-foundedness and Choice [arXiv]. 

Submitted. Joint work with Andreas Blass.

• A  Gentle  Introduction to Ultraproducts [link].
  First version prepared for GSI lecture at Phil 414 (Mathematical Logic), Fall 2024. Second (and current) version prepared for Student Model Theory Reading Seminar, Winter 2025.

• Dual Spaces Handbook [link].

A gentle introduction to dual spaces for Honors Math students at the University of Michigan. Joint with Maxwell Natonson.

• Math 297 Discussion Section Materials [link]. 

Materials for Math 297 (Honors Introduction to Real Analysis), Winter 2024.

• Math 217 Exam Review Materials [link].

Midterm and Final Exam practice problems for Math 217 (Linear Algebra), Spring 2024.

• On Ultraproducts in Commutative Algebra [link]. 

Final project for Math 614 (Commutative Algebra), Fall 2023, taught by Andrew Snowden.