Filtered and stable Boolean powers are relativized full Boolean powers (Q2266710): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q3880892 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Two Undecidability Results using Modified Boolean Powers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sheaf Constructions and Their Elementary Properties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Representations by algebras of sections over Boolean spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4105667 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The first order properties of products of algebraic systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Global subdirect products / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3893910 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On \(\aleph_0\)-categoricity of filtered Boolean extensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Feferman-Vaught theorem revisited / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3866084 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3998158 / rank
 
Normal rank

Latest revision as of 16:20, 14 June 2024

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