TY - JOUR AU - W. Marek TI - ω-models of second order arithmetic and admissible sets JO - Fundamenta Mathematicae PY - 1978 SP - 103 EP - 120 VL - 98 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.4064/fm-98-2-103-120/ DO - 10.4064/fm-98-2-103-120 LA - en ID - 10_4064_fm_98_2_103_120 ER -