Pages that link to "Item:Q4338316"
From MaRDI portal
The following pages link to Undecidability in diagonalizable algebras (Q4338316):
Displaying 6 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- On a strengthening of the non-isomorphism theorem for provability algebras (Q2246876) (← links)
- Effectively inseparable Boolean algebras in lattices of sentences (Q2655144) (← links)
- Linear $ \mathrm{GLP}$-algebras and their elementary theories (Q2966735) (← links)
- Fixed points and unfounded chains (Q5939843) (← links)
- ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS (Q6131232) (← links)
