Pages that link to "Item:Q749521"

The following pages link to Characters and fixed points in provability logic (Q749521):

Displaying 4 items.

• The provability logic for \(\Sigma_ 1\)-interpolability (Q688429) (← links)
• Provability: The emergence of a mathematical modality (Q1176093) (← links)
• An algebraic theory of normal forms (Q1346245) (← links)
• The Henkin Sentence (Q3454817) (← links)