Author:
Jäger Gerhard,Steila Silvia
Publisher
Springer International Publishing
Reference13 articles.
1. Barwise, J. (1975). Admissible sets and structures (Perspectives in mathematical logic, Vol. 7). Berlin: Springer.
2. Buchholz, W., Feferman, S., Pohlers, W., & Sieg, W. (1981). Iterated inductive definitions and subsystems of analysis: Recent proof-theoretical studies (Lecture notes in mathematics, Vol. 897). Berlin/New York: Springer.
3. Feferman, S. (2016). The operational perspective: Three routes. In R. Kahle, T. Strahm, & T. Studer (Eds.), Advances in proof theory (Progress in computer science and applied logic). Cham: Birkhäuser.
4. Jäger, G. (1982). Zur Beweistheorie der Kripke-Platek-Mengenlehre über den natürlichen Zahlen. Archiv für mathematische Logik und Grundlagenforschung, 22(3–4), 121–139.
5. Jäger, G., & Steila, S. (2018a). About some fixed point axioms and related principles in Kripke-Platek environments. Journal of Symbolic Logic, 83(2), 642–668.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献