Pages that link to "Item:Q1153077"

The following pages link to Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic (Q1153077):

Displaying 4 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)