Combinatorial and Recursive Aspects of the Automorphism Group of the Countable Atomless Boolean Algebra

1986 ◽  
Vol 51 (2) ◽  
pp. 292 ◽  
Author(s):  
E. W. Madison ◽  
B. Zimmermann-Huisgen
Keyword(s):  
Automorphism Group ◽  
Boolean Algebra ◽  
Atomless Boolean Algebra

Combinatorial and recursive aspects of the automorphism group of the countable atomless Boolean algebra

1986 ◽  
Vol 51 (2) ◽  
pp. 292-301
Author(s):  
E. W. Madison ◽  
B. Zimmermann-Huisgen
Keyword(s):  
Automorphism Group ◽  
Boolean Algebra ◽  
Recursive Function ◽  
Conjugacy Classes ◽  
Explicit Description ◽  
Free Basis ◽  
Atomless Boolean Algebra ◽  
Cycle Structures ◽  
Countably Infinite

AbstractGiven 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.

scholarly journals Universal minimal flows of automorphism groups

2003 ◽  
Vol 127 (28) ◽  
pp. 93-106
Author(s):  
A.S. Kechris ◽  
V. Pestov ◽  
S. Todorcevic
Keyword(s):  
Automorphism Group ◽  
Boolean Algebra ◽  
Automorphism Groups ◽  
Ramsey Theory ◽  
Topological Dynamics ◽  
Dimensional Vector ◽  
Topological Groups ◽  
Free Graph ◽  
Dimensional Vector Space ◽  
Atomless Boolean Algebra

We investigate some connections between the Fraiss? theory of amalgamation classes and ultrahomogeneous structures, Ramsey theory, and topological dynamics of automorphism groups of countable structures. We show, in particular, that results from the structural Ramsey theory can be quite useful in recognizing the universal minimal flows of this kind of groups. As result we compute universal minimal flows of several well known topological groups such as, for example, the automorphism group of the random graph, the automorphism group of the random triangle-free graph, the automorphism group of the ?-dimensional vector space over a finite field, the automorphism group of the countable atomless Boolean algebra, etc. So we have here a reversal in the traditional relationship between topological dynamics and Ramsey theory, the Ramsey-theoretic results are used in proving theorems of topological dynamics rather than vice versa.

Determining an atmic Boolean algebra from the action of the automorphism group

1993 ◽  
Vol 34 (6) ◽  
pp. 1041-1043 ◽  
Author(s):  
B. K. Dauletbaev
Keyword(s):  
Automorphism Group ◽  
Boolean Algebra

Computability of Fraïssé limits

2011 ◽  
Vol 76 (1) ◽  
pp. 66-93 ◽  
Author(s):  
Barbara F. Csima ◽  
Valentina S. Harizanov ◽  
Russell Miller ◽  
Antonio Montalbán
Keyword(s):  
Boolean Algebra ◽  
Necessary Conditions ◽  
Computable Structure ◽  
Finitely Generated ◽  
Degree Spectra ◽  
Atomless Boolean Algebra

AbstractFraïssé studied countable structures through analysis of the age of , i.e., the set of all finitely generated substructures of . We investigate the effectiveness of his analysis, considering effectively presented lists of finitely generated structures and asking when such a list is the age of a computable structure. We focus particularly on the Fraïssé limit. We also show that degree spectra of relations on a sufficiently nice Fraïssé limit are always upward closed unless the relation is definable by a quantifier-free formula. We give some sufficient or necessary conditions for a Fraïssé limit to be spectrally universal. As an application, we prove that the computable atomless Boolean algebra is spectrally universal.

The existence of countable totally nonconstructive extensions of the countable atomless Boolean algebra

1983 ◽  
Vol 48 (1) ◽  
pp. 167-170 ◽  
Author(s):  
E. W. Madison
Keyword(s):  
Boolean Algebra ◽  
Atomless Boolean Algebra

AbstractOur results concern the existence of a countable extension of the countable atomless Boolean algebra such that is a “nonconstructive” extension of . It is known that for any fixed admissible indexing φ of there is a countable nonconstructive extension of (relative to φ). The main theorem here shows that there exists an extension of such that for any admissible indexing φ of , is nonconstructive (relative to φ).Thus, in this sense a countable totally nonconstructive extension of .

Maximal irredundance and maximal ideal independence in Boolean algebras

2008 ◽  
Vol 73 (1) ◽  
pp. 261-275 ◽  
Author(s):  
J. Donald Monk
Keyword(s):  
Boolean Algebra ◽  
Maximal Ideal ◽  
Boolean Algebras ◽  
Independent Subset ◽  
Cardinal Invariant ◽  
Associated Functions ◽  
Atomless Boolean Algebra ◽  
Relationship Of ◽  
The Relationship ◽  
The Ideal

Recall that a subset X of an algebra A is irredundant iff x ∉ 〈X∖{x}〉 for all x ϵ X, where 〈X∖{x}) is the subalgebra generated by X∖{x}. By Zorn's lemma there is always a maximal irredundant set in an algebra. This gives rise to a natural cardinal function Irrmm(A) = min{∣X∣: X is a maximal irredundant subset of A}. The first half of this article is devoted to proving that there is an atomless Boolean algebra A of size 2ω for which Irrmm(A) = ω.A subset X of a BA A is ideal independent iff x ∉ (X∖{x}〉id for all x ϵ X, where 〈X∖{x}〉id is the ideal generated by X∖{x}. Again, by Zorn's lemma there is always a maximal ideal independent subset of any Boolean algebra. We then consider two associated functions. A spectrum functionSspect(A) = {∣X∣: X is a maximal ideal independent subset of A}and the least element of this set, smm(A). We show that many sets of infinite cardinals can appear as Sspect(A). The relationship of Smm to similar “continuum cardinals” is investigated. It is shown that it is relatively consistent that Smm/fin) < 2ω.We use the letter s here because of the relationship of ideal independence with the well-known cardinal invariant spread; see Monk [5]. Namely, sup{∣X∣: X is ideal independent in A} is the same as the spread of the Stone space Ult(A); the spread of a topological space X is the supremum of cardinalities of discrete subspaces.

On some small cardinals for Boolean algebras

2004 ◽  
Vol 69 (3) ◽  
pp. 674-682 ◽  
Author(s):  
Ralph Mckenzie ◽  
J. Donald Monk
Keyword(s):  
Boolean Algebra ◽  
Boolean Algebras ◽  
Atomless Boolean Algebra

Abstract.Assume that all algebras are atomless. (1) Spind(A × B) = Spind(A) ∪ Spind(B). (2) Spind(Ai). Now suppose that κ and λ are infinite cardinals, with κ uncountable and regular and with κ < λ. (3) There is an atomless Boolean algebra A such that u(A) = κ and i(A) = λ. (4) If λ is also regular, then there is an atomless Boolean algebra A such that t(A) = s(A) = κ and α (A) = λ. All results are in ZFC, and answer some problems posed in Monk [01] and Monk [∞].

Elementary embedding between countable Boolean algebras

1991 ◽  
Vol 56 (4) ◽  
pp. 1212-1229
Author(s):  
Robert Bonnet ◽  
Matatyahu Rubin
Keyword(s):  
Boolean Algebra ◽  
Boolean Algebras ◽  
Complete Theory ◽  
Linear Ordering ◽  
Elementary Embedding ◽  
Linear Orderings ◽  
Partial Orderings ◽  
Atomless Boolean Algebra ◽  
Atomic Boolean Algebra ◽  
Quasi Ordering

AbstractFor a complete theory of Boolean algebras T, let MT denote the class of countable models of T. For B1, B2 ∈ MT, let B1 ≤ B2 mean that B2 is elementarily embeddable in B2. Theorem 1. For every complete theory of Boolean algebras T, if T ≠ Tω, then ‹MT, ≤› is well-quasi-ordered. ∎ We define Tω. For a Boolean algebra B, let I(B) be the ideal of all elements of the form a + s such that B ↾ a is an atomic Boolean algebra and B ↾ s is an atomless Boolean algebra. The Tarski derivative of B is defined as follows: B(0) = B and B(n + 1) = B(n)/I(B(n)). Define Tω to be the theory of all Boolean algebras such that for every n ∈ ω, B(n) ≠ {0}. By Tarski [1949], Tω is complete. Recall that ‹A, < › is partial well-quasi-ordering, it is a partial quasi-ordering and for every {ai, ⃒ i ∈ ω} ⊆ A, there are i < j < ω such that ai ≤ aj. Theorem 2. contains a subset M such that the partial orderings ‹M, ≤ ↾ M› and are isomorphic. ∎ Let M′0 denote the class of all countable Boolean algebras. For B1, B2 ∈ M′0, let B1 ≤′ B2 mean that B1 is embeddable in B2. Remark. ‹M′0, ≤′› is well-quasi-ordered. ∎ This follows from Laver's theorem [1971] that the class of countable linear orderings with the embeddability relation is well-quasi-ordered and the fact that every countable Boolean algebra is isomorphic to a Boolean algebra of a linear ordering.

Some Examples of Constructive and Non-Constructive Extensions of the Countable Atomless Boolean Algebra

1975 ◽  
Vol s2-11 (3) ◽  
pp. 325-336 ◽  
Author(s):  
E. W. Madison ◽  
G. C. Nelson
Keyword(s):  
Boolean Algebra ◽  
Atomless Boolean Algebra

Boolean algebras and orbits of the lattice of r.e sets modulo the finite sets

1990 ◽  
Vol 55 (2) ◽  
pp. 744-760
Author(s):  
Peter Cholak
Keyword(s):  
Automorphism Group ◽  
Boolean Algebra ◽  
Boolean Algebras ◽  
Finite Sets ◽  
Total Function ◽  
Class Of Functions

An important program in the study of the structure the lattice of r.e. sets modulo finite sets, is the classification of the orbits under Aut(), the automorphism group of , If Φ ∈ Aut() and Φ(We) =* Wh(e) for all e ∈ ω, then h is called a presentation of Φ. Define Autχ() to be the class of those elements of Aut() that have a presentation in the class of functions X, where for instance X might be the class of Δn functions for n ∈ ω. If Φ ∈ Autx() then we will say that Φ is an X-automorphism. Note that we only need to consider Δn- and Πn-orbits and automorphisms since if f is a Σn-presentation, then f is a total function and therefore Δn.Definition. If X is a class of functions and ⊆ {Wi: i < ω}, then is an X-orbit iff is an orbit under Aut() and for all A, B ∈ there is a Φ ∈ Autx() satisfying Φ(A) =* B. (Here Φ: → .)Harrington proved that the creative sets form a Δ0-orbit and Soare proved that the maximal sets form Δ3-orbit. We will show that there is no Boolean algebra such that {A: A is r.e. and ℒ*(A) ≈ ] forms a Δ2-orbit, where ℒ*(A) is the principal filter of A in ; ℒ*(A) = {B: B ⊆* A & B ∈ }. The idea behind the proof of this theorem is very similar to the proof by Soare that maximal sets do not form a Δ2-orbit (see Soare [1974] or Soare [1987]).

Sign in / Sign up

Export Citation Format

Share Document