Pages that link to "Item:Q689212"

The following pages link to On the proofs of arithmetical completeness for interpretability logic (Q689212):

Displaying 3 items.

• A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic (Q1893136) (← links)
• Undecidability in diagonalizable algebras (Q4338316) (← links)
• Theory and application of labelling techniques for interpretability logics (Q6094159) (← links)