
doi: 10.2307/2274052
Abstract Given an admissible indexing φ of the countable atomless Boolean algebra ℬ, an automorphism F of ℬ is said to be recursively presented (relative to φ ) if there exists a recursive function p ϵ Sym( ω ) such that F ∘ φ = φ ∘ p . Our key result on recursiveness: Both the subset of Aut(ℬ) consisting of all those automorphisms which are recursively presented relative to some indexing, and its complement, the set of all “totally nonrecursive” automorphisms, are uncountable. This arises as a consequence of the following combinatorial investigations: (1) A comparison of the cycle structures of ƒ and , where ƒ is a permutation of some free basis of ℬ and is the automorphism of ℬ induced by ƒ .(2) An explicit description of the permutations of ω whose conjugacy classes in Sym( ω ) are (a) uncountable, (b) countably infinite, and (c) finite.
Boolean algebras (Boolean rings), countable atomless Boolean algebra, Applications of computability and recursion theory, cycle structures, recursively presented, Infinite automorphism groups, admissible indexing, Theory of numerations, effectively presented structures
Boolean algebras (Boolean rings), countable atomless Boolean algebra, Applications of computability and recursion theory, cycle structures, recursively presented, Infinite automorphism groups, admissible indexing, Theory of numerations, effectively presented structures
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 2 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
