## Abstract A theorem of BirkhoffβFrink asserts that every algebraic closure operator on an ordinary set arises, from some algebraic structure on the set, as the corresponding generated subalgebra operator. However, for manyβsorted sets, i.e., indexed families of sets, such a theorem is not longer
On the algebraic closure of two
β Scribed by H.W Lenstra Jr.
- Publisher
- Elsevier Science
- Year
- 1977
- Weight
- 390 KB
- Volume
- 80
- Category
- Article
- ISSN
- 1385-7258
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
The aim of this paper is to investigate the variety of symmetric closure algebras, that is, closure algebras endowed with a De Morgan operator. Some general properties are derived. Particularly, the lattice of subvarieties of the subvariety of monadic symmetric algebras is described and an equationa
The equivalence of the algebraic closure of a system of separating recognition algorithms and a set of polynomial decision rules in a natural rectifying space is established. The conditions for the correctness of the algebraic closure are found. The linear closure of a family of linear separating a