The following pages link to Fixed point algebras (Q3333037):
Displayed 10 items.
- Finite fixed point algebras are subdiagonalisable (Q581435) (← links)
- A note on the diagonalizable algebras of PA and ZF (Q685077) (← links)
- The finite inseparability of the first-order theory of diagonalisable algebras (Q795036) (← links)
- The Lindenbaum fixed point algebra is undecidable (Q810010) (← links)
- Hyperdiagonalizable algebras (Q1078181) (← links)
- Provability: The emergence of a mathematical modality (Q1176093) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism (Q1296423) (← links)
- Varieties of complex algebras (Q2641327) (← links)
- Undecidability in diagonalizable algebras (Q4338316) (← links)