Self-reference in arithmetic. II

DOI10.1017/S175502031400029XMaRDI QIDQ5176166zbMATH OpenOpenAlexFDO

Authors Volker Halbach, Albert Visser

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)

Recommendations

• Self-reference in arithmetic. I
• Uniform self-reference
• Self-reference and modal logic
• Self-reference and the Languages of Arithmetic
• Sentences implying their own provability

Cites work

• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• A remark on equivalent Rosser sentences
• A simplification of the completeness proofs for Guaspari and Solovay's R
• A smart child of Peano's
• A system of complete and consistent truth
• Inference and self-reference
• Peano's smart children: A provability logical study of systems with built-in consistency
• Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems
• Reflection Principles in Fragments of Peano Arithmetic
• Rosser sentences
• The truth is never simple

Cited in

(19)

• Uniform self-reference
• Self-reference and modal logic
• A step towards absolute versions of metamathematical results
• Self-referential theories
• GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE
• Self-reference and the Languages of Arithmetic
• SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS
• Current research on Gödel's incompleteness theorems
• Varieties of self-reference in metamathematics
• The scope of Gödel's first incompleteness theorem
• Henkin sentences and local reflection principles for Rosser provability
• What's so special about the Gödel sentence \(\mathcal{G}\)?
• Sentences implying their own provability
• Alethic reference
• Reference and truth
• A UNIFIED THEORY OF TRUTH AND PARADOX
• Self-reference in arithmetic. I
• Reference in arithmetic
• INCOMPLETENESS VIA PARADOX AND COMPLETENESS

This page was built for publication: Self-reference in arithmetic. II

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