Properties not retained by pointed enrichments of finite lattices (Q2217773)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Properties not retained by pointed enrichments of finite lattices
scientific article

    Statements

    Properties not retained by pointed enrichments of finite lattices (English)
    0 references
    0 references
    0 references
    0 references
    14 January 2021
    0 references
    Let \(\langle A;\sigma\rangle \) be an algebra of a finite signature \(\sigma \). An algebra \(\langle A;\sigma\cup C\rangle \) with non-empty finite set of constant symbols \(C\) is called a pointed enrichment of \(\langle A;\sigma\rangle \). In this paper, the authors show by two examples of finite lattices that the properties ``to have (not) a finite basis of quasi-identities'' and ``to generate a standard topological quasivariety'' are not preserved with respect to pointed enrichments of finite algebras.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    quasivariety
    0 references
    variety
    0 references
    finite basis of quasi-identities
    0 references
    topological quasivariety
    0 references
    lattice
    0 references
    pointed algebra
    0 references
    0 references