Pages that link to "Item:Q1153078"
From MaRDI portal
The following pages link to The undecidability of the first-order theory of diagonalizable algebras (Q1153078):
Displayed 6 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- The finite inseparability of the first-order theory of diagonalisable algebras (Q795036) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- Linear $ \mathrm{GLP}$-algebras and their elementary theories (Q2966735) (← links)
- Fixed point algebras (Q3333037) (← links)
- Undecidability in diagonalizable algebras (Q4338316) (← links)