Pages that link to "Item:Q795036"
From MaRDI portal
The following pages link to The finite inseparability of the first-order theory of diagonalisable algebras (Q795036):
Displaying 8 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- A note on the diagonalizable algebras of PA and ZF (Q685077) (← links)
- The Lindenbaum fixed point algebra is undecidable (Q810010) (← links)
- On the autological character of diagonalizable algebras (Q1238804) (← links)
- Linear $ \mathrm{GLP}$-algebras and their elementary theories (Q2966735) (← links)
- Fixed point algebras (Q3333037) (← links)
- Undecidability in diagonalizable algebras (Q4338316) (← links)
- Decoding in the automorphism group of a recursively saturated model of arithmetic (Q5258479) (← links)