6
$\begingroup$

In their 1972 paper On the number of complete Boolean algebras Monk and Solovay showed that if $\lambda$ is an infinite cardinal, then there are $2^{2^\lambda}$ many isomorphism types of complete Boolean algebras of power $2^\lambda.$ On the other hand, by a result of Pierce, a complete Boolean algebra of infinite power $\kappa$ exists iff $\kappa=\kappa^{\aleph_0}$.

In the above mentioned paper, the following is asked:

Question. Suppose $\kappa=\kappa^{\aleph_0}$, but it is not of the form $2^\lambda$ for any $\lambda$. Are there ${2^\kappa}$ many isomorphism types of complete Boolean algebras of power $\kappa?$

What is known about the above question?

$\endgroup$
1
  • 1
    $\begingroup$ One could also naturally ask for lower bounds on the number of isomorphism types. $\endgroup$ Feb 22 at 13:39

1 Answer 1

5
$\begingroup$

The answer is that there are still $2^\kappa$ many isomorphism types of complete Boolean algebras of power $\kappa$.

This is proved by Shelah, see Building complicated index models and Boolean algebras, Conclusion 2.17.

$\endgroup$
2
  • 1
    $\begingroup$ Perhaps you could say something about the argument method? $\endgroup$ Feb 27 at 11:54
  • $\begingroup$ @JoelDavidHamkins The proof, as one might expect, is based on several earlier definitions and lemmas, so rather long. So I think it is easier to just look at the paper and the proof. $\endgroup$ Mar 13 at 2:33

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.