Paradoxes behind the Solovay sentences

DOI10.1007/978-981-15-7134-3_2MaRDI QIDQ6601682zbMATH OpenFDO

Authors Ming Hsiung

Publication date 10 September 2024

zbMATH Keywords

truthparadoxprovabilitySolovay sentences

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• Solovay functions and paradoxes
• Solovay's completeness without fixed points
• Liar-type paradoxes and the incompleteness phenomena
• Gödelizing the Yablo sequence
• Undecidable sentences generated by semantic paradoxes

Cites work

• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• Boolean paradoxes and revision periods
• Extremely undecidable sentences
• Jump liars and Jourdain's card via the relativized T-scheme
• Provability interpretations of modal logic
• Self-reference and modal logic

This page was built for publication: Paradoxes behind the Solovay sentences

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