Pages that link to "Item:Q5183473"

The following pages link to The relation of <i>A</i> to Prov ˹<i>A</i>˺ in the Lindenbaum sentence algebra (Q5183473):

Displaying 7 items.

• On the complexity of arithmetical interpretations of modal formulae (Q688859) (← links)
• \(\Sigma^ n_ 0\)-equivalence relations (Q793716) (← links)
• Around provability logic (Q1035652) (← links)
• The fixed-point theorem for diagonalizable algebras. (The algebraization of the theories which express Theor. III.) (Q1222158) (← links)
• The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.) (Q1233018) (← links)
• The logic of arithmetical hierarchy (Q1315831) (← links)
• Problemi aperti sulle algebre diagonali (Q4121961) (← links)