Pseudojump operators. II. Transfinite iterations, hierarchies and minimal covers (1984)

by Richard A Shore
Venue:J. Symbolic Logic