Ordinal Analysis Without Proofs

Jeremy Avigad

Abstract