Inductive definitions and analogues of large cardinals (1972)

by P Aczel, W Richter
Venue:in: W. Hodges (Ed.), Conference in Mathematical Logic’70, Lecture Notes in Mathematics