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 .

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

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.

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.

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

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.

Low5 Boolean Subalgebras and Computable Copies

2011 ◽  
Vol 76 (3) ◽  
pp. 1061-1074 ◽  
Author(s):  
Russell Miller
Keyword(s):  
Boolean Algebra ◽  
Unary Relation ◽  
Atomless Boolean Algebra

AbstractIt is known that the spectrum of a Boolean algebra cannot contain a low4 degree unless it also contains the degree 0; it remains open whether the same holds for low5 degrees. We address the question differently, by considering Boolean subalgebras of the computable atomless Boolean algebra . For such subalgebras , we show that it is possible for the spectrum of the unary relation on to contain a low5 degree without containing 0.

scholarly journals Recursive Embeddings of Partial Orderings

1977 ◽  
Vol 29 (2) ◽  
pp. 349-359 ◽  
Author(s):  
K. R. Apt
Keyword(s):  
Boolean Algebra ◽  
Partial Ordering ◽  
Partial Orderings ◽  
Atomless Boolean Algebra

Let be a countable atomless Boolean algebra and let X be a countable partial ordering. We prove that there exists an embedding of X into which is recursive in X, and which destroys all suprema and infima of X which can be destroyed. We show that the above theorem is false when we try to preserve all suprema and infima of X instead of destroying them.

Sign in / Sign up

Export Citation Format

Share Document