Publisher
Springer International Publishing
Reference122 articles.
1. W. Ackermann, Letter to David Hilbert, August 23rd, 1933, Niedersächsische Staats- und Universitätsbibliothek Göttingen, Cod. Ms. D. Hilbert 1.
2. W. Ackermann, Zur Widerspruchsfreiheit der Zahlentheorie. Math. Ann. 117, 162–194 (1940)
3. P. Aczel, Frege structures and the notion of proposition, truth and set, in The Kleene Symposium, ed. by J. Barwise, H. Keisler, K. Kunen (North-Holland, Amsterdam, 1980), pp. 31–59
4. T. Arai, Epsilon substitution method for $$\text{ID}_{1}(\Pi _{1}^{0} \vee \Sigma _{1}^{0})$$ . Ann. Pure Appl. Log. 121, 163–208 (2003)
5. T. Arai, Proof theory for theories of ordinals I: recursively Mahlo ordinals. Ann. Pure Appl. Log. 122, 1–85 (2003)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Grundlagen des logischen Schließens;Springer Reference Geisteswissenschaften;2020
2. Dual Axiomatics;Mario Bunge: A Centenary Festschrift;2019
3. The Consistency of Arithmetic;The Mathematical Intelligencer;2018-11-09
4. M;Logic, Epistemology, and the Unity of Science;2018