Self-reference in arithmetic. II

DOI10.1017/S175502031400029XzbMATH Open1337.03009OpenAlexW4245481891MaRDI QIDQ5176166FDOQ5176166

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

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

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)

Cites Work

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

Cited In (16)

• Uniform self-reference
• Self-reference and modal logic
• A step towards absolute versions of metamathematical results
• 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
• The scope of Gödel's first incompleteness theorem
• REFERENCE IN ARITHMETIC
• Henkin sentences and local reflection principles for Rosser provability
• Sentences implying their own provability
• Alethic reference
• Reference and truth
• A UNIFIED THEORY OF TRUTH AND PARADOX
• What’s so Special About the Gödel Sentence $$\mathcal {G}$$ ?
• CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS
• 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)