Truth Definitions and Consistency Proofs
- 1 September 1952
- journal article
- Published by JSTOR in Transactions of the American Mathematical Society
- Vol. 73 (2) , 243-275
- https://doi.org/10.2307/1990668
Abstract
References [Enhancements On Off] (What's this?)Keywords
This publication has 11 references indexed in Scilit:
- A Construction for Models of Consistent Systems.The Journal of Symbolic Logic, 1951
- Remarks on the Comparison of Axiom SystemsProceedings of the National Academy of Sciences, 1950
- Non-standard models for formal logicsThe Journal of Symbolic Logic, 1950
- Completeness in the theory of typesThe Journal of Symbolic Logic, 1950
- A new theory of element and numberThe Journal of Symbolic Logic, 1948
- The Semantic Conception of Truth: and the Foundations of SemanticsPhilosophy and Phenomenological Research, 1944
- Element and NumberThe Journal of Symbolic Logic, 1941
- On undecidable statements in enlarged systems of logic and the concept of truthThe Journal of Symbolic Logic, 1939
- Über deduktive Theorien mit mehreren Sorten von GrunddingenMathematische Annalen, 1938
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IMonatshefte für Mathematik, 1931