Yablifying the Rosser sentence

DOI10.1007/s10992-013-9291-5zbMath1302.03073OpenAlexW2167118212MaRDI QIDQ484179

Graham Leach-Krouse

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-9291-5

zbMATH Keywords

paradoxestruthincompletenessself-referenceYablo's paradoxwell-foundednessGödel's theoremRosser's theorem

Mathematics Subject Classification ID

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

Related Items

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

Cites Work

• Dangerous reference graphs and semantic paradoxes
• Gödelizing the Yablo sequence
• Arithmetization of metamathematics in a general setting
• Rosser sentences
• Unnamed Item