Welcome to MathOverflow

Question

1

More specifically, if we only know that a complete Boolean algebra, $\mathbf{B}$, is $\kappa$-c.c., can we give a (reasonably tight) upper bound to the size of $\mathbf{B}$ in terms of $\kappa$?

Thanks in advance.

flag	asked Jan 4 at 11:39 Zoorado 139●3

3

The Cohen algebras of regular open subsets of $2^\lambda$ are ccc, and of arbitrarily large cardinality. – Emil Jeřábek Jan 4 at 12:06

Thanks again! Back to the drawing board I guess. – Zoorado Jan 4 at 12:44

1

Emil, why not post your comment as an answer? (Unanswered questions periodically get auto-reposted to the main page.) – Joel David Hamkins Jan 4 at 15:09

Alright. I was worried the question was not quite research-level, if even someone as ignorant about forcing as me knows this example. – Emil Jeřábek Jan 7 at 15:53

Emil Jeřábek · Accepted Answer · 2013-01-07 16:31:53Z UTC

3

The $\kappa$-cc condition by itself does not put any bound on the cardinality of the algebra. For example, for each $\lambda$, the Cohen algebra of regular open subsets of $2^\lambda$ is ccc, but it has cardinality $\lambda^\omega$. However, one can bound the size of $B$ using additional cardinal characteristics: for a simple bound, if $B$ is $\kappa$-cc and has a dense subset $P$ of cardinality $\lambda$, then $|B|\le\lambda^{<\kappa}$, as every element of $B$ can be written as the join of an antichain in $P$.

edited Jan 7 at 16:31

answered Jan 7 at 15:51

Emil Jeřábek
10.6k●1●24●41

	This is just like the forcing notion $\text{Add}(\omega,\lambda)$ to add $\lambda$ many Cohen reals, which is c.c.c. but has size $\lambda^{\lt\omega}$. – Joel David Hamkins Jan 7 at 16:01
	Yes, this should be the same thing. When I was learning set theory (from not particularly up-to-date sources), I got the impression that each author has his own totally incompatible notation for basic forcing notions, and therefore I didn’t bother to use any in the answer. Is $\mathrm{Add}(\omega,\lambda)$ the standard notation nowadays? And does it denote the complete Boolean algebra, or some dense subset? – Emil Jeřábek Jan 7 at 16:22
	Oh, I think there is no universal standard, but this notation is fairly common (especially here in New York). Sometimes this denotes a dense subset (the usual poset) and sometimes the complete Boolean algebra, but if it ever matters, then authors usually say so. I should have said "size $\lambda^\omega$" in my comment, since I usually think of it as referring to the Boolean completion. – Joel David Hamkins Jan 7 at 17:36

What can we infer about the size of a complete Boolen algebra, given it is $\kappa$-c.c.?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.