Truth Definitions and Consistency Proofs

DOI10.2307/1990668MaRDI QIDQ5812184zbMATH OpenOpenAlexFDO

Authors Hao Wang

Publication date 1952

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

zbMATH Keywords

philosophy and foundations of mathematics

Cites work

• scientific article; zbMATH DE number 3013302 (Why is no real title available?)
• scientific article; zbMATH DE number 3099243 (Why is no real title available?)
• A construction for consistent systems
• A generalization of the concept ofω-completeness
• A new theory of element and number
• A system of axiomatic set theory—Part II
• Arithmetic Translations of Axiom Systems
• Completeness in the theory of types
• Non-standard models for formal logics
• On Zermelo's and Von Neumann's Axioms for Set Theory
• On undecidable statements in enlarged systems of logic and the concept of truth
• Remarks on the Comparison of Axiom Systems
• Über deduktive Theorien mit mehreren Sorten von Grunddingen
• Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen

Cited in

(6)

• Tarski on ``essentially richer metalanguages
• A Non-Standard Truth Definition
• Is cut-free logic fit for unrestricted abstraction?
• The logical strength of compositional principles
• Sets and supersets
• On the matter of essential richness

This page was built for publication: Truth Definitions and Consistency Proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5812184)