Pages that link to "Item:Q685077"
From MaRDI portal
The following pages link to A note on the diagonalizable algebras of PA and ZF (Q685077):
Displayed 5 items.
- Topological structure of diagonalizable algebras and corresponding logical properties of theories (Q1903132) (← links)
- On a strengthening of the non-isomorphism theorem for provability algebras (Q2246876) (← links)
- Undecidability in diagonalizable algebras (Q4338316) (← links)
- Interpretability over peano arithmetic (Q4948517) (← links)
- ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS (Q6131232) (← links)