ACTA issues

Universal expansions and determinacy for finitely generated varieties of $dp$-algebras

V. Koubek, J. Sichler

Acta Sci. Math. (Szeged) 78:3-4(2012), 419-458
39/2011

Abstract. A category ${\cal K}$ is $\alpha $-determined for some cardinal $\alpha $ if any class of non-isomorphic ${\cal K}$-objects having isomorphic endomorphism monoids is a set with fewer than $\alpha $ elements. An $\alpha $-expansion ${\cal K}_{\alpha }$ is the category whose objects are all ${\cal K}$-objects augmented by $\alpha $ new constants and whose morphisms are exactly the ${\cal K}$-morphisms preserving these constants. And a category is alg-universal if it contains an isomorphic copy of any category of algebras as a full subcategory. This paper characterizes the finitely generated varieties of distributive double $p$-algebras which are $\alpha $-determined for some cardinal $\alpha $ as well as those having $\alpha $-expansions which are alg-universal. Results of this paper complete the project of a structural classification of finitely generated varieties of distributive double $p$-algebras according to their categorical properties.


AMS Subject Classification (1991): 18B15

Keyword(s): distributive $dp$-algebra, finitely generated variety of $dp$-algebras, relatively full embedding, relative alg-universality, determinacy, Priestley duality, expansion by nullary operations


Received August 2, 2011, and in revised form January 23, 2012. (Registered under 39/2011.)