TY - JOUR AU - Andrzej Grzegorczyk TI - An unfinitizability proof by means of restricted reduced power JO - Fundamenta Mathematicae PY - 1971 SP - 37 EP - 49 VL - 73 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.4064/fm-73-1-37-49/ DO - 10.4064/fm-73-1-37-49 LA - en ID - 10_4064_fm_73_1_37_49 ER -