Gödelizing the Yablo sequence

DOI10.1007/s10992-012-9244-4zbMath1288.03033OpenAlexW2066727721MaRDI QIDQ381006

Rafal Urbaniak, Cezary Cieśliński

Publication date: 15 November 2013

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

Full work available at URL: https://doi.org/10.1007/s10992-012-9244-4

zbMATH Keywords

arithmeticprovabilityincompletenessGödelOmega-liarYablo's paradox

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 ⋮ Yablifying the Rosser sentence ⋮ Rosser-type undecidable sentences based on Yablo's paradox ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS ⋮ Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic ⋮ Content Implication and the Yablo’s Sequent of Sentences

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Yablo's paradox and \(\omega\)-inconsistency
• Is Yablo's paradox non-circular?
• Heterologicality and Incompleteness
• An Introduction to Gödel's Theorems
• Yablo's paradox
• Paradox without Self-Reference