Arithmetic Translations of Axiom Systems

DOI10.2307/1990692MaRDI QIDQ5804995zbMATH OpenOpenAlexFDO

Authors Hao Wang

Publication date 1951

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

zbMATH Keywords

foundations, philosophy, logic

Cited in

(8)

• Translations and structure for partial propositional calculi
• Tarski on ``essentially richer metalanguages
• Certains aspects syntactiques d'une notion de modèle: Relativisation d'une fonction logique de choix
• The categoricity question of certain grand logics
• The interpretation existence lemma
• Logische Kategorien
• Truth Definitions and Consistency Proofs
• On the matter of essential richness

This page was built for publication: Arithmetic Translations of Axiom Systems

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