Rosser-type undecidable sentences based on Yablo's paradox

DOI10.1007/s10992-013-9309-zzbMath1339.03055OpenAlexW2066812195MaRDI QIDQ484194

Taishi Kurahashi

Publication date: 18 December 2014

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-013-9309-z

zbMATH Keywords

Yablo's paradoxGuaspari-Solovay's constructionincompleteness theoremsproof predicatesRosser's provability predicates

Mathematics Subject Classification ID

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

Related Items

Liar-type paradoxes and the incompleteness phenomena, Henkin sentences and local reflection principles for Rosser provability, CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Gödelizing the Yablo sequence
• Yablifying the Rosser sentence
• A remark on equivalent Rosser sentences
• On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
• The Surprise Examination Paradox and the Second Incompleteness Theorem
• Arithmetization of metamathematics in a general setting
• Rosser sentences
• Yablo's paradox
• Paradox without Self-Reference
• Information-Theoretic Limitations of Formal Systems
• Extensions of some theorems of Gödel and Church