A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
HTML articles powered by AMS MathViewer
- by W. W. Tait PDF
- Bull. Amer. Math. Soc. 72 (1966), 980-983
References
- Leon Henkin, Completeness in the theory of types, J. Symbolic Logic 15 (1950), 81–91. MR 36188, DOI 10.2307/2266967
- Kurt Schütte, Syntactical and semantical properties of simple type theory, J. Symbolic Logic 25 (1960), 305–326 (1962). MR 144813, DOI 10.2307/2963525
- Gaisi Takeuti, On a generalized logic calculus, Jpn. J. Math. 23 (1953), 39–96 (1954); errata, 24 (1954), 149–156. MR 75160, DOI 10.4099/jjm1924.23.0_{3}9
Additional Information
- Journal: Bull. Amer. Math. Soc. 72 (1966), 980-983
- DOI: https://doi.org/10.1090/S0002-9904-1966-11611-7
- MathSciNet review: 0205829