On undecidable statements in enlarged systems of logic and the concept of truth

DOI10.2307/2266444zbMath0021.38504OpenAlexW2050219405MaRDI QIDQ5774802

Alfred Tarski

Publication date: 1939

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2266444

zbMATH Keywords

Foundations, philosophy, logic

Related Items

Recursive Predicates and Quantifiers, Metamathematische Begriffe in Standardtheorien, Arbitrary sequence RAMs, What Were Tarski's Truth-Definitions for?, Systems of transfinite types involving λ-conversion, On truth and multiple denotation, Tarski on ``essentially richer metalanguages, On the matter of essential richness, Truth Definitions and Consistency Proofs

Cites Work

• Gödel Theorems for Non-Constructive Logics