Projects

ArithHier

Building the arithmetic hierarchy for LEAN’s Mathlib

Beginner’s Borel

Beginners introduction to invariant descriptive set theory

Computable Z-jump

Defining the computable analogue of the Z-jump for equivalence relations

UCL

Collection of resources created whilst at UCL