Pages that link to "Item:Q1333315"
From MaRDI portal
The following pages link to Shavrukov's theorem on the subalgebras of diagonalizable algebras for theories containing \(I\Delta_ 0 + \exp\) (Q1333315):
Displaying 7 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)
- Undecidability in diagonalizable algebras (Q4338316) (← links)
- Interpretability over peano arithmetic (Q4948517) (← links)
- EFFECTIVE INSEPARABILITY, LATTICES, AND PREORDERING RELATIONS (Q5027663) (← links)
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic (Q5957858) (← links)
