Theory of Boolean algebras with a locally finite group of automorphisms (Q1095879)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Theory of Boolean algebras with a locally finite group of automorphisms |
scientific article; zbMATH DE number 4029503
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Theory of Boolean algebras with a locally finite group of automorphisms |
scientific article; zbMATH DE number 4029503 |
Statements
Theory of Boolean algebras with a locally finite group of automorphisms (English)
0 references
1987
0 references
The author defines the family F of the locally finite recursive groups such that for every \(G\in F\) the first order theory Th(K(G)) of the class of models \(K(G)=\{(B,p):\) B is a Boolean algebra, \(p\in G\) is an automorphism of \(B\}\) is heriditarily undecidable.
0 references
Boolean algebra
0 references
locally finite recursive groups
0 references
automorphism
0 references
