Author:
Jäger Gerhard,Strahm Thomas
Publisher
Springer Science and Business Media LLC
Reference15 articles.
1. Lecture Notes in Mathematics;W. Buchholz,1981
2. Cantini, A.: Levels of implications and type free theories of partial classifications with approximation operator. Z. Math. Logik Grundl. Math.38, 107–141 (1992)
3. Feferman, S.: Formal theories for transfinite iterations of generalized inductive definitions and some subsystems of analysis. In: Kino, A., Myhill, J., Vesley, R.E. (eds.) Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo, New York, 1968, pp. 303–326. Amsterdam: North Holland 1970
4. Feferman, S.: Iterated inductive fixed-point theories: applications to Hancock’s conjecture. In: Metakides, G. (ed.) The Patras Symposium, pp. 171–196. Amsterdam: North Holland 1982
5. Feferman, S.: Monotone inductive definitions. In: Troelstra A.S., van Dalen, D. (eds.) The L.E.J. Brouwer Centenary Symposium, pp. 77–89. Amsterdam: North Holland 1982
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献