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

by Wolfgang Maass, Inadmissibility
Venue:Ann. Math. Logic