@article{MAT_1971_15_5_a9, author = {S. Feferman}, title = {Transfinite recursive progressions of axiomatic theories}, journal = {Matematika}, pages = {84--139}, publisher = {mathdoc}, volume = {15}, number = {5}, year = {1971}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/MAT_1971_15_5_a9/} }