Pages that link to "Item:Q1333315"

The following pages link to Shavrukov's theorem on the subalgebras of diagonalizable algebras for theories containing \(I\Delta_ 0 + \exp\) (Q1333315):

Displaying 3 items.

• Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
• Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
• No escape from Vardanyan's theorem (Q2501168) (← links)