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

DOI10.2307/2266444zbMath0021.38504OpenAlexW2050219405MaRDI QIDQ5774802

No author found.

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 (9)

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

This page was built for publication: On undecidable statements in enlarged systems of logic and the concept of truth