Pages that link to "Item:Q923072"

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

Displaying 5 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)
• An abstract look at the fixed-point theorem for provability logic (Q6612809) (← links)