%0 Journal Article %A Paweł Zbierski %T Axiomatizability of second order arithmetic with ω-rule %J Fundamenta Mathematicae %D 1978 %P 51-57 %V 100 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.4064/fm-100-1-51-57/ %R 10.4064/fm-100-1-51-57 %G en %F 10_4064_fm_100_1_51_57