Filtered and stable Boolean powers are relativized full Boolean powers (Q2266710)

From MaRDI portal
Revision as of 16:20, 14 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Filtered and stable Boolean powers are relativized full Boolean powers
scientific article

    Statements

    Filtered and stable Boolean powers are relativized full Boolean powers (English)
    0 references
    0 references
    1984
    0 references
    Using a relativized version of the Feferman-Vaught-Theorem [\textit{H. Volger}, Colloq. Math. 36, 1-11 (1976; Zbl 0361.02069)] and the fact that filtered and finitely based stable boolean powers are relativized full boolean powers, results of \textit{J. H. Schmerl} [Algebra Univers. 8, 159- 161 (1978; Zbl 0426.03034)] are generalized. For example one gets the decidability of the theory of all G-stable boolean powers of A for finite A and finite groups G.
    0 references
    Feferman-Vaught-Theorem
    0 references
    boolean powers
    0 references

    Identifiers