Pseudo-jump operators. II: Transfinite iterations, hierarchies and minimal covers (1984)

by Richard A Shore
Venue:J. Symb. Log