Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems (Q3525204)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems
scientific article

    Statements

    Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems (English)
    0 references
    0 references
    11 September 2008
    0 references
    \(\kappa \)-filtered direct product
    0 references
    \(\kappa \)-filtered intersection
    0 references
    Lyndon classes
    0 references
    quasivarieties
    0 references
    subdirect product
    0 references
    upward \(\kappa \)-directed poset
    0 references
    union of directed systems
    0 references

    Identifiers