Below, you may find a collection of online preprints, separated into six categories.
Proof Theory. This includes work on dilators and Pi12-logic, finitary and infinitary proof systems, complexity, and cut elimination.
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.
Logic in Computer Science. This includes work on many-valued logics and modal logics, especially from the point of view of complexity and expressibility.
Other work.This includes all work not fitting into any of the categories above.