Recursively rigid Boolean algebras (Q1101105)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Recursively rigid Boolean algebras |
scientific article; zbMATH DE number 4045727
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Recursively rigid Boolean algebras |
scientific article; zbMATH DE number 4045727 |
Statements
Recursively rigid Boolean algebras (English)
0 references
1987
0 references
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.
0 references
recursive isomorphism
0 references
infinite injury argument
0 references
atomic recursive Boolean algebra
0 references
recursive automorphism
0 references
