Paradoxes behind the Solovay sentences

DOI10.1007/978-981-15-7134-3_2zbMATH Open1547.0336MaRDI QIDQ6601682FDOQ6601682

Authors: Ming Hsiung 

Publication date: 10 September 2024

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

zbMATH Keywords

truthparadoxprovabilitySolovay sentences

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Provability interpretations of modal logic
• Self-reference and modal logic
• Jump liars and Jourdain's card via the relativized T-scheme
• Boolean paradoxes and revision periods
• Extremely undecidable sentences

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)