Recursively rigid Boolean algebras
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.
scientific article; zbMATH DE number 4045727