Theory of Boolean algebras with a locally finite group of automorphisms
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.
scientific article; zbMATH DE number 4029503