Publisher
Springer Nature Singapore
Reference57 articles.
1. Arai, T.: On Takeuti’s fundamental conjecture (in Japanese). Sugaku (Mathematics) 40(4), 322–337 (1988)
2. Arai, T.: What is and what should be Takeut’s fundamental conjecture? (in Japanese). In: Proof Theory and Computational Theory. RIMS Kôkyorôku, vol. 1442, pp. 1–7 (2005)
3. Carnap, R.: Die logizistische Grundlegung der Mathematik. Erkenntnis 2, 91–105, (1931). English translation in The Philosophy of Mathematics, eds. by P. Benacerraf and H. Putnam, pp. 41–52. Cambridge University Press (1964)
4. Feferman, S.: Systems of predicative analysis. J. Symb. Logic 29(1), 1–30, 03 (1964)
5. Feferman, S.: Review: Gaisi Takeuti, Proof Theory. Bull. Am. Math. Soc. 83(3), 351–361 05 (1977)