Variations on promptly simple sets (1985)

by W Maass
Venue:J. Symbolic Logic