Filtered and stable Boolean powers are relativized full Boolean powers (Q2266710)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 3895044
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Filtered and stable Boolean powers are relativized full Boolean powers |
scientific article; zbMATH DE number 3895044 |
Statements
Filtered and stable Boolean powers are relativized full Boolean powers (English)
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
0.7560097575187683
0 references
0.7560097575187683
0 references
0.7528291940689087
0 references
0.7317306399345398
0 references
