Finite fixed point algebras are subdiagonalisable

DOI10.1007/BF01229971zbMath0627.06013OpenAlexW2033024480MaRDI QIDQ581435

David Hobby

Publication date: 1988

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01229971

zbMATH Keywords

Boolean algebradiagonalisable fixed point algebrasfinite fixed point algebrassubdiagonalisable

Mathematics Subject Classification ID

Boolean functions (06E30) Structure theory of Boolean algebras (06E05) Logical aspects of Boolean algebras (03G05)

Related Items

Bjarni Jónsson's contributions in algebra ⋮ Discriminating varieties ⋮ Congruence semimodular varieties. I: Locally finite varieties ⋮ Congruence semimodular varieties. II: Regular varieties ⋮ Gumm's theorem and the structure of minimal algebras ⋮ Semilattice modes. I: The associated semiring ⋮ Maximal non-affine reducts of simple affine algebras ⋮ The algebra of conditional logic ⋮ Congruence extension, Hamiltonian and Abelian properties in locally finite varieties ⋮ Some characterizations of the commutator ⋮ The modular commutator via the Gumm terms ⋮ Finitary decidability implies congruence permutability for congruence modular varieties ⋮ RESIDUAL SMALLNESS AND WEAK CENTRALITY ⋮ Congruence lower semimodularity and 2-finiteness imply congruence modularity ⋮ Residually Finite Varieties of Nonassociative Algebras ⋮ A projection property ⋮ IDEMPOTENT DISTRIBUTIVE SEMIRINGS WITH INVOLUTION ⋮ Linear Representation of Medial-Like Algebras ⋮ A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism ⋮ \(n\)-permutable varieties satisfy non trivial congruence identities ⋮ An identity for subgroup lattices of Abelian groups ⋮ An approach to tame congruence theory via subtraces ⋮ Semigroups obeying the term condition ⋮ Conic decompositions of a class of lattices and universal algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Principal congruences in N-permutable varieties
• The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.)
• Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• Fixed point algebras
• A COMPLETENESS RESULT FOR FIXED‐POINT ALGEBRAS
• Boolean Algebras with Operators. Part I