Transfinite recursion on admissible ordinals I,II (1964)

by S Kripke
Venue:Journal of Symbolic Logic