Recursively rigid Boolean algebras
type: Item
instance of: scholarly article
title: Recursively rigid Boolean algebras
zbMATH Open document ID: 0642.03026
DOI: 10.1016/0168-0072(87)90011-X
published in: Annals of Pure and Applied Logic
publication date: 1987-01-01T00:00:00Z
review text: This paper gives a complete analysis of the effective content of \textit{R. McKenzie}'s theorem from Canad. J. Math. 26, 466-471 (1977; Zbl 0339.02051). It extends earlier results of \textit{A. S. Morozov} [Algebra Logika 22, No.2, 138-158 (1983; Zbl 0549.03031)]. Remmel uses an infinite injury argument to show that each atomic recursive Boolean algebra B is isomorphic to a recursion Boolean algebra C such that every recursive automorphism of C moves only finitely many atoms.
Mathematics Subject Classification ID: 03D45
Mathematics Subject Classification ID: 03C57
zbMATH DE Number: 4045727
zbMATH Keywords: recursive isomorphism
zbMATH Keywords: infinite injury argument
zbMATH Keywords: atomic recursive Boolean algebra
zbMATH Keywords: recursive automorphism
author: Jeffrey Remmel
reviewed by: Rodney G. Downey
MaRDI profile type: Publication
cites work: Q4067090
cites work: Automorphism Groups of Denumerable Boolean Algebras
cites work: Groups of recursive automorphisms of constructive Boolean algebras
cites work: Recursive isomorphism types of recursive Boolean algebras
cites work: Recursive Boolean algebras with recursive atoms
cites work: On the automorphism groups of countable Boolean algebras
full work available at URL: 0168-0072(87)90011-x
OpenAlex ID: W2053280520
description: scientific article; zbMATH DE number 4045727