solidot新版网站常见问题,请点击这里查看。
消息
本文已被查看1956次
Canonical extensions and ultraproducts of polarities. (arXiv:1709.09798v1 [math.LO])
来源于:arXiv
J{\'o}nsson and Tarski's notion of the perfect extension of a Boolean algebra
with operators has evolved into an extensive theory of canonical extensions of
lattice-based algebras. After reviewing this evolution we make two
contributions. First it is shown that the question of whether or not a variety
of algebras is closed under canonical extensions reduces to the question of
whether or not it contains the canonical extension of a particular one of its
free algebras. The size of the set of generators of this algebra can be made a
function of a collection of varieties and is a kind of Hanf number for
canonical closure. Secondly we study the complete lattice of stable subsets of
a polarity structure, and show that if a class of polarities is closed under
ultraproducts, then its stable set lattices generate a variety that is closed
under canonical extensions. This generalises an earlier result of the author
about generation of canonically closed varieties of Boolean algebras with
operator 查看全文>>