Publisher
Springer Science and Business Media LLC
Reference14 articles.
1. Barwise, J.: Admissible Sets and Structures. Berlin, Heidelberg, New York: Springer 1975.
2. Buchholz, W.: Eine Erweiterung der Schnitteliminationsmethode. Habilitationsschrift, München, 1977.
3. Buchholz, W., Pohlers, W.: Provable wellorderings of formal theories for transfinitely iterated inductive definitions. J. Symb. Logic43, 118–125 (1978).
4. Feferman, S.: Formal theories for transfinite iterations of generalized inductive definitions and some subsystems of analysis. Intuitionism and Proof Theory. Amsterdam: North-Holland 1970.
5. Feferman, S.: Predicatively reducible systems of set theory. Set Theory. II. Am. Math. Soc., Providence, R.I. (1974).
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献