Publisher
Springer International Publishing
Reference33 articles.
1. Buchholtz, U. (2013). Unfolding of systems of inductive definitions [Ph.d. thesis, Stanford University].
2. Buchholtz, U., Jäger, G., & Strahm, T. (2016). Theories of proof-theoretic strength $$\psi (\gamma _{\epsilon _{\Omega +1}})$$. In Concepts of proof in mathematics, philosophy, and computer science (pp. 115–140). De Gruyter.
3. Cantini, A. (1989). Notes on formal theories of truth. Mathematical Logic Quarterly, 35, 97–130.
4. Cantini, A. (1996). Logical frameworks for truth and abstraction. North Holland.
5. Cantini, A. (2016). About truth and types. In R. Kahle, T. Strahm, & T. Studer (Eds.), Advances in proof theory (pp. 31–64). Birkhäuser-Springer.