Publisher
Springer International Publishing
Reference16 articles.
1. J. Barwise. Admissible Sets and Structures. Number 7 in Perspectives in Mathematical Logic. Springer, 1975.
2. W. Buchholz. A new system for proof-theoretic ordinal functions. Annals of Pure and Applied Logic, 32: 195–207, 1986.
3. W. Buchholz. A simplified version of local predicativity. In P. Aczel, H. Simmons, and S.S. Wainer, editors, Proof Theory, pages 115–147. Cambridge University Press, 1992.
4. W. Buchholz. Assigning ordinals to proofs in a perspicious way. In W. Sieg, R. Sommer, and C. Talcott, editors, Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman., volume 15 of ASL Lecture Notes in Logic, pages 37–59. Association for Symbolic Logic, 2002.
5. W. Buchholz and W. Pohlers. Provable wellorderings of formal theories for transfinitely iterated inductive definitions. The Journal of Symbolic Logic, 43 (1): 118–125, 1978.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献