Theory of Boolean algebras with a locally finite group of automorphisms (Q1095879)

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.