Below, you may find a collection of online preprints, separated into five rough categories.
Proof Theory. This includes work on dilators and Pi12-logic, finitary and infinitary proof systems, complexity and cut elimination, and logics of proofs.
Recursion Theory.This includes work in Reverse Mathematics and generalized computability, including inductive definability, admissibility theory, and notions of recursive largeness for ordinals, such as second-order reflection.
Set Theory.This includes work on descriptive set theory, inner model theory, determinacy, large cardinals, and forcing.
Model Theory. This includes work involving completeness theorems, Löwenheim-Skolem theorems, Hanf numbers, and related notions.
Other work.This includes lists of problems and work in Choice Theory.