1. Arithmetization of metamathematics in a general setting;Feferman, S.;Fund. Math.,1960
2. Mathematical significance of consistency proofs;Kreisel, G.;J. Symbolic Logic,1958
3. Creative sets;Myhill, John;Z. Math. Logik Grundlagen Math.,1955
4. “Recursive isomorphism” and effectively extensible theories;Pour-El, Marian Boykan;Bull. Amer. Math. Soc.,1965
5. 5. H. Rogers, Jr., Provable recursive functions, Bull. Amer. Math. Soc. 63 (1957), 140.