1. On the relationship between ATR0 and IDˆ<ω;Avigad;J. Symb. Log.,1996
2. Admissible Sets and Structures;Barwise,1975
3. A new system for proof-theoretic ordinal functions;Buchholz;Ann. Pure Appl. Log.,1986
4. A simplified version of local predicativity;Buchholz,1992
5. Assigning ordinals to proofs in a perspicuous way;Buchholz,2002