Truth Definitions and Consistency Proofs
From MaRDI portal
Publication:5812184
DOI10.2307/1990668zbMath0047.01302OpenAlexW4253580986MaRDI QIDQ5812184
Publication date: 1952
Full work available at URL: https://doi.org/10.2307/1990668
Related Items (6)
A Non-Standard Truth Definition ⋮ Is cut-free logic fit for unrestricted abstraction? ⋮ The logical strength of compositional principles ⋮ Sets and supersets ⋮ Tarski on ``essentially richer metalanguages ⋮ On the matter of essential richness
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
This page was built for publication: Truth Definitions and Consistency Proofs
