The cardinality of subdirectly indecomposable systems in quasivarieties
type: Item
instance of: scholarly article
title: The cardinality of subdirectly indecomposable systems in quasivarieties
zbMATH Open document ID: 0602.08006
DOI: 10.1007/BF01987298
author: V. A. Gorbunov
published in: Algebra and Logic
publication date: 1986-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/187337
review text: The structural characterization of the residually small (r.s.) varieties obtained by \textit{W. Taylor} [Algebra Univers. 2, 33-53 (1972; Zbl 0263.08005)] is generalized to quasivarieties. Using this generalization the author proves that the quasivarieties of abelian groups and of unars are r.s. The syntactic characterization of the r.s. varieties, which is contained in Taylor's paper mentioned, is generalized to quasivarieties. Thus it is given a negative answer to a question of \textit{J. T. Baldwin} and \textit{J. D. Berman} [Algebra Univers. 5, 379-389 (1975; Zbl 0348.08002)]. Let \(\gamma\) be a cardinal. A quasivariety K is said to be residually \(<\gamma\) iff \(| A| <\gamma\) for any subdirectly K-indecomposable system. K is said to be residually finite (countable) iff it is residually \(<\omega\) \((<\omega_ 1)\). The author finds a syntactic characterization of the residually \(<\gamma\) quasivarieties for any \(\gamma\). Thus he solves the problem of syntactic characterization of the residually finite and the residually countable varieties posed by Baldwin and Berman. The Hanf number for subdirect indecomposability in quasivarieties is found. In assuming GCH there is given a characterization of the spectra of powers of subdirectly indecomposable systems in quasivarieties of uncountable signature. These results are closely related to some results of \textit{R. McKenzie} and \textit{S. Shelah} [Proc. Symp. Pure Math. 25, 53- 74 (1974; Zbl 0316.02057)]. The theorem of \textit{R. Magari} [Ann. Univ. Ferrara, Nov. Ser. 14, 1-4 (1969; Zbl 0247.08016)] on existence of prime algebras in varieties is generalized to universally axiomatized classes. In conclusion the author insists that the algebraic characterization of quasivarieties (lemma 1.2) was originally indicated (''apparently'') by the author and V. I. Tumanov in 1982.
Mathematics Subject Classification ID: 08C15
Mathematics Subject Classification ID: 03C60
zbMATH DE Number: 3970819
zbMATH Keywords: quasivarieties of abelian groups
zbMATH Keywords: syntactic characterization
zbMATH Keywords: r.s. varieties
zbMATH Keywords: residually finite
zbMATH Keywords: residually countable varieties
zbMATH Keywords: Hanf number
zbMATH Keywords: subdirect indecomposability in quasivarieties
zbMATH Keywords: GCH
zbMATH Keywords: spectra of powers of subdirectly indecomposable systems in quasivarieties
zbMATH Keywords: prime algebras
MaRDI profile type: Publication
cites work: Q4078085
cites work: Q3674739
cites work: Q3715171
cites work: Quasivarieties of unars
cites work: The number of subdirectly irreducible algebras in a variety. II
cites work: The number of subdirectly irreducible algebras in a variety
cites work: Equational compactness in equational classes of algebras
cites work: Q3934450
cites work: Q5565095
cites work: Q4097346
cites work: A partition calculus in set theory
cites work: Residually Small Varieties with Modular Congruence Lattices
cites work: A Note on the Implicational Class Generated by a Class of Structures
cites work: Incompactness in languages with infinitely long expressions
cites work: A Tree Argument in Infinitary Model Theory
cites work: Q3294272
cites work: Congruence varieties
cites work: Q3342632
cites work: Congruences and one element subalgebras
cites work: Principal congruences in N-permutable varieties
cites work: Q5659626
cites work: Residually small varieties of semigroups
cites work: Q5554949
cites work: Not every equational class of infinitary algebras contains a simple algebra
cites work: Equational classes generated by finite algebras
cites work: Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
cites work: Some constructions of compact algebras
cites work: Residually small varieties
cites work: The Hanf number for classes of algebras whose largest congruence is always finitely generated
cites work: Summability of pure extensions of relational structures
Recommended article: Cardinality bounds for subdirectly irreducible algebras
Recommended article: On indecomposable and transitive systems of subspaces
Recommended article: Quasivarieties with definable relative principal subcongruences
Recommended article: On the cardinality of compatible quasi-uniformities
Recommended article: Varieties with a countable number of subquasivarieties
Recommended article: Subquasivarieties of implicative locally-finite quasivarieties
Recommended article: Cardinalities of noncentered systems of subsets of \(\omega\)
Recommended article: On the deductive system of the order of an equationally orderable quasivariety
Recommended article: Q3691799
Recommended article: The lattice of subquasivarieties of a locally finite quasivariety
description: scientific article; zbMATH DE number 3970819