Pages that link to "Item:Q4338316"
From MaRDI portal
The following pages link to Undecidability in diagonalizable algebras (Q4338316):
Displaying 9 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Undecidability of relatively free Hilbert algebras (Q1103604) (← links)
- Diophantine undecidability of \({\mathbb{C}{}}(t_ 1,t_ 2)\) (Q1194191) (← links)
- On a strengthening of the non-isomorphism theorem for provability algebras (Q2246876) (← links)
- Effectively inseparable Boolean algebras in lattices of sentences (Q2655144) (← links)
- Undecidable theories of Lyndon algebras (Q2732275) (← 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)