A short proof of two recently discovered independence results using recursion theoretic methods (1983)

by E A Cichon
Venue:in “Proceedings of the American Mathematical Society