PREDICATIVITY BEYOND Γ0 (2005)

by Nik Weaver