Gödelizing the Yablo sequence

DOI10.1007/S10992-012-9244-4MaRDI QIDQ381006zbMATH OpenOpenAlexFDO

Authors Cezary Cieśliński, Rafal Urbaniak

Publication date 15 November 2013

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

arithmeticGödelincompletenessOmega-liarprovabilityYablo's paradox

Mathematics Subject Classification ID

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

Recommendations

• Yablo sequences in truth theories
• Yablifying the Rosser sentence
• Yablo without Gödel
• Yablo's paradox and omega-paradoxes
• ‘Sometime a paradox’, now proof: Yablo is not first order

Cites work

• An Introduction to Gödel's Theorems
• Heterologicality and imcompleteness
• scientific article; zbMATH DE number 1144041 (Why is no real title available?)
• scientific article; zbMATH DE number 2109238 (Why is no real title available?)
• scientific article; zbMATH DE number 5679725 (Why is no real title available?)
• Is Yablo's paradox non-circular?
• Paradox without Self-Reference
• Yablo's paradox
• Yablo's paradox and \(\omega\)-inconsistency

Cited in

(13)

• Yablo's paradox in second-order languages: consistency and unsatisfiability
• Yablo's paradox and the omitting types theorem for propositional languages
• Yablo sequences in truth theories
• Liar-type paradoxes and the incompleteness phenomena
• Syntactic proofs for Yablo's paradoxes in temporal logic
• Bueno and Colyvan on Yablo's paradox
• Yablo without Gödel
• Yablifying the Rosser sentence
• Rosser-type undecidable sentences based on Yablo's paradox
• Current research on Gödel's incompleteness theorems
• Content Implication and the Yablo’s Sequent of Sentences
• Yablo's paradox as a theorem of modal logic
• Paradoxes behind the Solovay sentences

This page was built for publication: Gödelizing the Yablo sequence

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