SELF-REFERENCE IN ARITHMETIC I

DOI10.1017/S1755020314000288zbMath1337.03008MaRDI QIDQ5176165

Volker Halbach, Albert Visser

Publication date: 2 March 2015

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

zbMATH Keywords

provabilityself-referential sentencessentence of arithmetic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Gödel numberings and issues of incompleteness (03F40)

Related Items

The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb ⋮ SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS ⋮ GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE ⋮ MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE ⋮ A step towards absolute versions of metamathematical results ⋮ Varieties of self-reference in metamathematics ⋮ INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ A UNIFIED THEORY OF TRUTH AND PARADOX ⋮ What’s so Special About the Gödel Sentence $$\mathcal {G}$$ ? ⋮ Axiomatic theories of partial ground. II: Partial ground and hierarchies of typed truth ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS ⋮ REFERENCE IN ARITHMETIC ⋮ Alethic reference ⋮ Reference and truth ⋮ ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Faith \& falsity
• Self-reference and modal logic
• Undecidable theories
• Solution of a problem of Leon Henkin
• Explicit Henkin sentences
• Redundancies in the Hilbert-Bernays derivability conditions for Gödel's second incompleteness theorem
• On Godel Sentences and What They Say

This page was built for publication: SELF-REFERENCE IN ARITHMETIC I