Pages that link to "Item:Q923072"

The following pages link to A new proof of the fixed-point theorem of provability logic (Q923072):

Displaying 4 items.

• A note on some extension results (Q1814182) (← links)
• Effectively constructible fixed points in Sacchetti's modal logics of provability (Q2134275) (← links)
• The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
• The Henkin Sentence (Q3454817) (← links)