Recent Developments and Resources
Boolean Constructions: Recent Work
Developments in Boolean product representations and discriminator varieties following the period the source describes.
Learning objectives
- Identify the directions Boolean methods took after 1981
- Relate them to the material in Chapter IV
- Attribute correctly
The state at the source's writing
Chapter IV develops Boolean powers, Boolean products, discriminator varieties, quasiprimal algebras and the semisimple and directly representable conditions. The source describes discriminator varieties as remarkably well-behaved and identifies Boolean constructions as an area of active work.
| Result | Section |
|---|---|
| Boolean powers and transfer | IV §5 |
| Jónsson's lemma | IV §6 |
| Primal algebra characterisation | IV §7 |
| Boolean product representation | IV §8 |
| Discriminator variety structure | IV §9 |
| Pixley's quasiprimal theorem | IV §10 |
| Functional completeness | IV §11 |
| Semisimple and directly representable varieties | IV §12–13 |
Subsequent directions
Sheaf representations
The Boolean product formulation was connected systematically to sheaf theory, and representations over more general spaces than Boolean ones were developed.
Natural dualities
Davey, Werner and others generalised Stone duality to a systematic theory of dualities generated by a finite algebra, of which Stone duality and Priestley duality are instances.
Discriminator varieties in algebraic logic
The class proved central to the algebraic treatment of many-valued and modal logics, where cylindric algebras and Łukasiewicz algebras are the objects of study.
Decidability
Discriminator varieties were shown to sit firmly on the decidable side of the decidability dividing line, and this became one of the standard sources of decidable algebraic theories.
Natural duality theory
The most substantial development is natural duality theory, which asks when a finite algebra M generates a variety dually equivalent to a category of structured topological spaces.
If a finite algebra has a near-unanimity term, then it is dualisable — the variety it generates admits a natural duality.
Natural duality theory is due principally to Davey, Werner, Clark and Pitkethly, developed from the late 1970s onward. The standard reference is Clark and Davey, Natural Dualities for the Working Algebraist (1998). It postdates the source's treatment and generalises the Stone duality of Chapter IV §4.
What did not change
Jónsson's lemma, Pixley's theorem, the primal characterisation and the Boolean product representation of discriminator varieties are all as stated in the source. The later work generalises the setting rather than correcting the results, so Chapter IV remains an accurate account of its subject.
The main change of emphasis is that Boolean products are now more often presented as a special case of sheaf representations or natural dualities, rather than as a self-contained construction. The source's judgement that sheaf theory carries disproportionate overhead for this purpose remains defensible for a first treatment.
Frequently asked questions
Is the Boolean product formulation still used?
Yes, particularly in algebraic logic and in the study of discriminator varieties, where its concreteness is an advantage over the sheaf formalism.
What is a near-unanimity term?
An n-ary term t with n ≥ 3 satisfying t(y,x,…,x) ≈ t(x,y,x,…,x) ≈ … ≈ t(x,…,x,y) ≈ x. Its existence implies congruence-distributivity and is the key hypothesis in the NU duality theorem.
Source. S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, The Millennium Edition — a corrected re-typesetting of Springer-Verlag Graduate Texts in Mathematics 78 (1981). Section RD.4, book pages 287-288.
This page is an original exposition prepared for the KEVOS® knowledge library. It restates and reorganises mathematical results; it is not a reproduction of the source text.