1 classes and Boolean combinations of recursively enumerable sets (1974)

by Carl G Jockusch
Venue:Journal of Symbolic Logic