tame r.e.-sets and the admissible collapse (1978)

by W Maass, Inadmissibility
Venue:J. Symbolic Logic