Stable sets, a characterization of β2-models of full second order arithmetic and some related facts
Marek, W.
Fundamenta Mathematicae, Tome 85 (1974), p. 175-189 / Harvested from The Polish Digital Mathematics Library
Publié le : 1974-01-01
EUDML-ID : urn:eudml:doc:214661
@article{bwmeta1.element.bwnjournal-article-fmv82i1p12bwm,
     author = {W. Marek},
     title = {Stable sets, a characterization of $$\beta$\_2$-models of full second order arithmetic and some related facts},
     journal = {Fundamenta Mathematicae},
     volume = {85},
     year = {1974},
     pages = {175-189},
     zbl = {0294.02031},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv82i1p12bwm}
}
Marek, W. Stable sets, a characterization of $β_2$-models of full second order arithmetic and some related facts. Fundamenta Mathematicae, Tome 85 (1974) pp. 175-189. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv82i1p12bwm/