Many subalgebras of \mathcal{P}(\omega)/\mathit{fin}

Abstract: In answer to a question on Mathoverflow we show that the Boolean algebra

m a t h c a l P (o m e g a) / m a t h i t f i n

contains a family

m a t h c a l B_{X} : X s u b s e t e q m a t h f r a k c

of subalgebras with the property that

X s u b s e t e q Y

implies

m a t h c a l B_{Y}

is a subalgebra of

m a t h c a l B_{X}

and if

X o t s u b s e t e q Y

then

m a t h c a l B_{Y}

is not embeddable into~

m a t h c a l B_{X}

. The proof proceeds by Stone duality and the construction of a suitable family of separable zero-dimensional compact spaces.

This page was built for publication: Many subalgebras of $\mathcal{P}(\omega)/\mathit{fin}$