On essentially low, canonically well-generated Boolean algebras

Journal of Symbolic Logic 67 (1):369-396 (2002)
Let B be a superatomic Boolean algebra (BA). The rank of B (rk(B)), is defined to be the Cantor Bendixon rank of the Stone space of B. If a ∈ B - {0}, then the rank of a in B (rk(a)), is defined to be the rank of the Boolean algebra $B b \upharpoonright a \overset{\mathrm{def}}{=} \{b \in B: b \leq a\}$ . The rank of 0 B is defined to be -1. An element a ∈ B - {0} is a generalized atom $(a \in \widehat{At}(B))$ , if the last nonzero cardinal in the cardinal sequence of B $\upharpoonright$ a is 1. Let a,b $\in\widehat{At}$ (B). We denote a ∼ b, if rk(a) = rk(b) = rk(a · b). A subset H $\subseteq \widehat{At}$ (B) is a complete set of representatives (CSR) for B, if for every a $\in \widehat{At}$ (B) there is a unique h ∈ H such that h ∼ a. Any CSR for B generates B. We say that B is canonically well-generated (CWG), if it has a CSR H such that the sublattice of B generated by H is well-founded. We say that B is well-generated, if it has a well-founded sublattice L such that L generates B. THEOREM 1. Let B be a Boolean algebra with cardinal sequence $\langle\aleph_0: i . If B is CWG, then every subalgebra of B is CWG. A superatomic Boolean algebra B is essentially low (ESL), if it has a countable ideal I such that rk(B/I) ≤ 1. Theorem 1 follows from Theorem 2.9, which is the main result of this work. For an ESL BA B we define a set F B of partial functions from a certain countably infinite set to ω (Definition 2.8). Theorem 2.9 says that if B is an ESL Boolean algebra, then the following are equivalent. (1) Every subalgebra of B is CWG; and (2) F B is bounded. THEOREM 2. If an ESL Boolean algebra is not CWG, then it has a subalgebra which is not well-generated
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1190150050
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,133
Through your library
References found in this work BETA
On Well-Generated Boolean Algebras.Robert Bonnet & Matatyahu Rubin - 2000 - Annals of Pure and Applied Logic 105 (1-3):1-50.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Added to PP index

Total downloads
9 ( #471,319 of 2,191,816 )

Recent downloads (6 months)
1 ( #290,783 of 2,191,816 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature