SELF-REFERENCE IN ARITHMETIC II

DOI10.1017/S175502031400029XzbMath1337.03009OpenAlexW4245481891MaRDI QIDQ5176166

Albert Visser, Volker Halbach

Publication date: 2 March 2015

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

Full work available at URL: https://doi.org/10.1017/s175502031400029x

zbMATH Keywords

self-referential sentences\(\Pi _n^0\)-truth\(\Sigma_n^0\)-truthRosser-provabilitysentence 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

SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS ⋮ GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE ⋮ Henkin sentences and local reflection principles for Rosser provability ⋮ A step towards absolute versions of metamathematical results ⋮ INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ A UNIFIED THEORY OF TRUTH AND PARADOX ⋮ What’s so Special About the Gödel Sentence $$\mathcal {G}$$ ? ⋮ The scope of Gödel's first incompleteness theorem ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS ⋮ REFERENCE IN ARITHMETIC ⋮ Alethic reference ⋮ Reference and truth

Cites Work

• Unnamed Item
• Unnamed Item
• A simplification of the completeness proofs for Guaspari and Solovay's R
• Peano's smart children: A provability logical study of systems with built-in consistency
• A smart child of Peano's
• A system of complete and consistent truth
• A remark on equivalent Rosser sentences
• Inference and self-reference
• Reflection Principles in Fragments of Peano Arithmetic
• The truth is never simple
• Rosser sentences
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems