1. J. Avigad [n.d.] Predicative functionals and an interpretation ofID^<ω. To appear in the Annals of Pure and Applied Logic.
2. Formalizing forcing arguments in subsystems of second-order arithmetic;Avigad;Annals of Pure and Applied Logic,1996
3. On the relationship between ATR0 and ID^<ω;Avigad;Journal of Symbolic Logic,1996
4. Die Normalfunktionen und das Problem der ausgezeichneten Folgen von Ordnungzahlen;Bachmann;Vierteljahresschr. Nat. Ges., Zürich,1950
5. On recursively saturated models of arithmetic;Barwise,1975