Theory of Boolean algebras with a locally finite group of automorphisms
type: Item
instance of: scholarly article
title: Theory of Boolean algebras with a locally finite group of automorphisms
zbMATH Open document ID: 0633.03003
DOI: 10.1007/BF00969574
author: Z. A. Dulatova
published in: Siberian Mathematical Journal
publication date: 1987-01-01T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03C65
Mathematics Subject Classification ID: 06E99
zbMATH DE Number: 4029503
zbMATH Keywords: Boolean algebra
zbMATH Keywords: locally finite recursive groups
zbMATH Keywords: automorphism
reviewed by: Leo Esakia
MaRDI profile type: Publication
cites work: Q3669372
cites work: Q3218101
full work available at URL: https://doi.org/10.1007/bf00969574
OpenAlex ID: W2030248167
description: scientific article; zbMATH DE number 4029503