ω-models of second order arithmetic and admissible sets
Tom 98 / 1978
Fundamenta Mathematicae 98 (1978), 103-120
DOI: 10.4064/fm-98-2-103-120
