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

A category fC is a-determined for some cardinal a if any class of non-isomorphic ^-objects having isomorphic endomorphism monoids is a set with fewer than a elements. An a-expansion K.a is the category whose objects are all /C-objects augmented by a new constants and whose morphisms are exactly the...

Teljes leírás

Elmentve itt :
Bibliográfiai részletek
Szerzők: Koubek Vácłav
Sichler Jiří
Dokumentumtípus: Cikk
Megjelent: Bolyai Institute, University of Szeged Szeged 2012
Sorozat:Acta scientiarum mathematicarum 78 No. 3-4
Kulcsszavak:Matematika, Algebra
Tárgyszavak:
Online Access:http://acta.bibl.u-szeged.hu/16442
Leíró adatok
Tartalmi kivonat:A category fC is a-determined for some cardinal a if any class of non-isomorphic ^-objects having isomorphic endomorphism monoids is a set with fewer than a elements. An a-expansion K.a is the category whose objects are all /C-objects augmented by a new constants and whose morphisms are exactly the /C-morphisms preserving these constants. And a category is alguniversal 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 a-determined for some cardinal a as well as those having a-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.
Terjedelem/Fizikai jellemzők:419-458
ISSN:0001-6969