Model C of partial continuous functionals (1977)

by Y L Ershov
Venue:Logic Colloquium 76. Studies in Logic and Foundations in Mathematics 87