Truth Definitions and Consistency Proofs
From MaRDI portal
Publication:5812184
DOI10.2307/1990668zbMath0047.01302MaRDI QIDQ5812184
Publication date: 1952
Full work available at URL: https://doi.org/10.2307/1990668
Related Items
A Non-Standard Truth Definition, Sets and supersets, On the matter of essential richness, Tarski on ``essentially richer metalanguages, The logical strength of compositional principles, Is cut-free logic fit for unrestricted abstraction?
Cites Work
- Unnamed Item
- Unnamed Item
- Über deduktive Theorien mit mehreren Sorten von Grunddingen
- A generalization of the concept ofω-completeness
- Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen
- On undecidable statements in enlarged systems of logic and the concept of truth
- A system of axiomatic set theory—Part II
- On Zermelo's and Von Neumann's Axioms for Set Theory
- A new theory of element and number
- Non-standard models for formal logics
- Remarks on the Comparison of Axiom Systems
- Completeness in the theory of types
- A construction for consistent systems
- Arithmetic Translations of Axiom Systems