Algebras of sets binumerable in complete extensions of arithmetic, in Recursive Function Theory (1962)

by D Scott
Venue:Proceedings of Symposia in Pure Mathematics #5, American Mathematical Society