An Ordinal Analysis of Admissible Set Theory using Recursion on Ordinal Notations.

Jeremy Avigad
Published in: J. Math. Log. (2002)