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

by A Cichon
Venue:Proc. Amer. Math. Soc