Stable sets, a characterization of $β_2$-models of full second order arithmetic and some related facts
Volume 82 / 1974
Fundamenta Mathematicae 82 (1974), 175-189
DOI: 10.4064/fm-82-2-175-189
