Combinatorial and recursive aspects of the automorphism group of the countable atomless Boolean algebra
Journal of Symbolic Logic 51 (2):292-301 (1986)
| Abstract | Given an admissible indexing φ of the countable atomless Boolean algebra B, an automorphism F of B is said to be recursively presented (relative to φ) if there exists a recursive function $p \in \operatorname{Sym}(\omega)$ such that F ⚬ φ = φ ⚬ p. Our key result on recursiveness: Both the subset of $\operatorname{Aut}(\mathscr{B})$ 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 f and f̄, where f is a permutation of some free basis of B and f̄ is the automorphism of B induced by f. (2) An explicit description of the permutations of ω whose conjugacy classes in $\operatorname{Sym}(\omega)$ are (a) uncountable, (b) countably infinite, and (c) finite | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesFriederike Körner (1998). Automorphisms Moving All Non-Algebraic Points and an Application to NF. Journal of Symbolic Logic 63 (3):815-830.
Douglas E. Ensley (1996). Automorphism-Invariant Measures on ℵ0-Categorical Structures Without the Independence Property. Journal of Symbolic Logic 61 (2):640 - 652.
Aleksander Blaszczyk & Saharon Shelah (2001). Regular Subalgebras of Complete Boolean Algebras. Journal of Symbolic Logic 66 (2):792-800.
M. Giraudet & J. K. Truss (2003). Recovering Ordered Structures From Quotients of Their Automorphism Groups. Journal of Symbolic Logic 68 (4):1189-1198.
Ralph McKenzie & J. Donald Monk (2004). On Some Small Cardinals for Boolean Algebras. Journal of Symbolic Logic 69 (3):674-682.
Matatyahu Rubin & Saharon Shelah (1980). On the Elementary Equivalence of Automorphism Groups of Boolean Algebras; Downward Skolem Löwenheim Theorems and Compactness of Related Quantifiers. Journal of Symbolic Logic 45 (2):265-283.
Su Gao (1998). On Automorphism Groups of Countable Structures. Journal of Symbolic Logic 63 (3):891-896.
Daniel Lascar (1992). Les Automorphismes d'Un Ensemble Fortement Minimal. Journal of Symbolic Logic 57 (1):238-251.
Robert Bonnet & Matatyahu Rubin (1991). Elementary Embedding Between Countable Boolean Algebras. Journal of Symbolic Logic 56 (4):1212-1229.
E. W. Madison (1983). The Existence of Countable Totally Nonconstructive Extensions of the Countable Atomless Boolean Algebra. Journal of Symbolic Logic 48 (1):167-170.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #160,483 of 549,528 )Recent downloads (6 months)1 ( #63,397 of 549,528 )How can I increase my downloads? |
My notes
Discussion
