From the subalgebras of the square to the discriminator
From MaRDI portal
(Redirected from Publication:1180700)
The authors show, for a large and natural class of algebras, how to read off a discriminator term from the proof that every subalgebra of \(A^ 2\) is either a product of two subalgebras of \(A\) or the graph of an internal isomorphism. The introduction works on an example, section 1 contains the main result and section 3 gives a list of interesting examples.
Recommendations
Cited in
(10)- Restricted Priestley dualities and discriminator varieties
- Skew Boolean algebras and discriminator varieties
- Discriminator order algebras
- Natural duality, modality, and coalgebra
- The positive and generalized discriminators don't exist
- Subalgebras of the squares of finite minimal majority algebras
- Bounded lattice structured discriminator varieties
- New perspectives on semi-primal varieties
- Many-valued coalgebraic logic over semi-primal varieties
- A note on free algebras of discriminator algebras
This page was built for publication: From the subalgebras of the square to the discriminator
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1180700)