The Birkhoff variety theorem for continuous algebras (Q1076703)

From MaRDI portal
Revision as of 02:07, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
The Birkhoff variety theorem for continuous algebras
scientific article

    Statements

    The Birkhoff variety theorem for continuous algebras (English)
    0 references
    0 references
    0 references
    0 references
    1985
    0 references
    The paper provides a generalization of the Birkhoff variety theorem for a class of Z-continuous finitary algebras, i.e., ordered Z-complete algebras with Z-continuous finitary operations, where Z, a subset system, is a parameter of join-completeness. Since the terms in the algebras must contain join symbols as infinitary operation symbols they are more complicated than usual ones. The paper develops a syntax for terms and inequalities which is simple and appropriate for the theory. The paper also provides discussions of finitely supported varieties which use finitely many variables, and of algebraic varieties which are characterized by usual terms. Furthermore a quasi-variety is characterized as an SP-class.
    0 references
    0 references
    Birkhoff variety theorem
    0 references
    Z-continuous finitary algebras
    0 references
    ordered Z- complete algebras
    0 references
    infinitary operation symbols
    0 references
    finitely supported varieties
    0 references
    quasi-variety
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references