Let \(\tau\) be a type with a proper class of operation symbols. We say that an equational theory E for algebras of type \(\tau\) is legitimate if algebras of type \(\tau\) satisfying E form a class. A subclass V of algebras satisfying a legitimate theory E is a variety if it is closed under products, subalgebras and homomorphic images. The author shows that a universe is weakly compact if and only if each variety can be described by means of equalities between implicit operations (i.e. a variety is a class of algebras of type \(\tau\) satisfying the theory E and some equations between implicit operations). Thus if a universe is weakly compact then we can generalize Reiterman's theorem for finite algebras to algebras of type \(\tau\) satisfying theory E.
- Contraction algebras and unification of (infinite) terms
- An application of infinitary universal algebra to set theory
- Finitely generated relatively universal varieties of Heyting algebras
- scientific article; zbMATH DE number 436447 (Why is no real title available?)
- On a variety of infinite algebras
- Quantifier Free Definability on Infinite Algebras
- scientific article; zbMATH DE number 3995745 (Why is no real title available?)
- New algebraic invariants for definable subsets in universal algebra
This page was built for publication: Varieties of infinitary universal algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q802586)
