The first order theory of Boolean algebras with a distinguished group of automorphisms (Q1154492)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The first order theory of Boolean algebras with a distinguished group of automorphisms
scientific article

    Statements

    The first order theory of Boolean algebras with a distinguished group of automorphisms (English)
    0 references
    1982
    0 references
    variety of Boolean algebras
    0 references
    finitely generated discriminator variety
    0 references
    decidable theory
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references