Feferman, Solomon Ordinals and functionals in proof theory. (English) Zbl 0244.02010 Actes Congr. internat. Math. 1970, 1, 229-233 (1971). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 Documents MSC: 03F15 Recursive ordinals and ordinal notations 03D55 Hierarchies of computability and definability PDFBibTeX XML