Categorical quasivarieties revisited (Q1080451): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Categorial quasivarieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: On universal Horn classes categorical in some infinite power / rank
 
Normal rank
Property / cites work
 
Property / cites work: Counting models in universal Horn classes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3775604 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Universal horn classes categorical or free in power / rank
 
Normal rank
Property / cites work
 
Property / cites work: A representation theorem for universal horn classes categorical in power / rank
 
Normal rank
Property / cites work
 
Property / cites work: Models with countable-categorical universal theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Categorical quasivarieties of arbitrary signature / rank
 
Normal rank
Property / cites work
 
Property / cites work: The description of categorical quasivarieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: The fine spectrum of a variety / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some applications of the term condition / rank
 
Normal rank

Revision as of 15:29, 17 June 2024

scientific article
Language Label Description Also known as
English
Categorical quasivarieties revisited
scientific article

    Statements

    Categorical quasivarieties revisited (English)
    0 references
    0 references
    1984
    0 references
    We offer simple new characterizations of \(\omega\)-categorical quasivarieties and varieties of countable type. Our arguments are distinguished by the absence of any sophisticated model theory. In the beginning we use some very basic model theory, but after that we find that combinatorial reasoning about finite sets and elementary algebraic arguments, combined with two classical theorems describing the structure of finite simple rings and their modules, suffice to derive the results. Theorems 3.1 and 4.12 combine to give the characterization of \(\omega\)- categorical quasivarieties. Theorems 3.2 and 4.13 combine to give the characterization of \(\omega\)-categorical varieties. The heart of this paper is {\S}2. There we prove that a nontrivial algebra of least cardinality in an \(\omega\)-categorical quasivariety (which must generate the class) is a finite ''tame'' algebra. Tameness is the principal tool used in a relatively quick and painless proof that the generating algebra must be affine or an [n]-th power of a unary algebra. The concept of a tame algebra was introduced [in Lect. Notes Math. 1004, 176-205 (1983; Zbl 0523.06012)] where we proved, among other things, that finite simple algebras are tame. When we had gained some experience with this concept, it became clear to us that the arguments in this present paper should exist (and it didn't take long to find them).
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    \(\omega \) -categorical quasivarieties
    0 references
    varieties of countable type
    0 references
    finite simple rings
    0 references
    \(\omega \) -categorical varieties
    0 references
    tame algebra
    0 references
    finite simple algebras
    0 references
    0 references