Transfinite recursion on admissible ordinals i, ii (abstracts (1964)

by Saul Kripke
Venue:J. Symbolic Logic