Stable sets, a characterization of $β_2$-models of full second order arithmetic and some related facts
Fundamenta Mathematicae, Tome 82 (1974) no. 2, pp. 175-189
Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences
@article{10_4064_fm_82_2_175_189,
author = {W. Marek},
title = {Stable sets, a characterization of $\ensuremath{\beta}_2$-models of full second order arithmetic and some related facts},
journal = {Fundamenta Mathematicae},
pages = {175--189},
publisher = {mathdoc},
volume = {82},
number = {2},
year = {1974},
doi = {10.4064/fm-82-2-175-189},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-82-2-175-189/}
}
TY - JOUR AU - W. Marek TI - Stable sets, a characterization of $β_2$-models of full second order arithmetic and some related facts JO - Fundamenta Mathematicae PY - 1974 SP - 175 EP - 189 VL - 82 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.4064/fm-82-2-175-189/ DO - 10.4064/fm-82-2-175-189 LA - en ID - 10_4064_fm_82_2_175_189 ER -
%0 Journal Article %A W. Marek %T Stable sets, a characterization of $β_2$-models of full second order arithmetic and some related facts %J Fundamenta Mathematicae %D 1974 %P 175-189 %V 82 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.4064/fm-82-2-175-189/ %R 10.4064/fm-82-2-175-189 %G en %F 10_4064_fm_82_2_175_189
W. Marek. Stable sets, a characterization of $β_2$-models of full second order arithmetic and some related facts. Fundamenta Mathematicae, Tome 82 (1974) no. 2, pp. 175-189. doi: 10.4064/fm-82-2-175-189
Cité par Sources :