Berger, Ulrich Classical truth in higher types. (English) Zbl 1140.03037 Math. Log. Q. 54, No. 3, 240-246 (2008). MSC: 03F10 03B15 03D65 03E25 03F50 × Cite Format Result Cite Review PDF Full Text: DOI
Macintyre, Angus The mathematical significance of proof theory. (English) Zbl 1152.03307 Philos. Trans. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 363, No. 1835, 2419-2435 (2005). MSC: 03A05 00A35 03-03 03B35 × Cite Format Result Cite Review PDF Full Text: DOI
Kohlenbach, Ulrich Some logical metatheorems with applications in functional analysis. (English) Zbl 1079.03046 Trans. Am. Math. Soc. 357, No. 1, 89-128 (2005). MSC: 03F07 03F10 47H10 03F35 × Cite Format Result Cite Review PDF Full Text: DOI