Pages that link to "Item:Q685075"

The following pages link to A generalized notion of weak interpretability and the corresponding modal logic (Q685075):

Displaying 2 items.

• A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic (Q1893136) (← links)
• Undecidability in diagonalizable algebras (Q4338316) (← links)