Pages that link to "Item:Q1153077"
From MaRDI portal
The following pages link to Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic (Q1153077):
Displayed 5 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Decision problems for classes of diagonalizable algebras (Q1075310) (← links)
- The undecidability of the first-order theory of diagonalizable algebras (Q1153078) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- Undecidability in diagonalizable algebras (Q4338316) (← links)
