%0 Journal Article %A S. Feferman %T Transfinite recursive progressions of axiomatic theories %J Matematika %D 1971 %P 84-139 %V 15 %N 5 %I mathdoc %U http://geodesic.mathdoc.fr/item/MAT_1971_15_5_a9/ %G ru %F MAT_1971_15_5_a9