No label defined (Q4038534)

[For the entire collection see Zbl 0746.00043.] The author investigates conditions which imply that Boolean algebras are \(\omega_ 1\)-saturated. It is well known that a Boolean algebra is \(\omega_ 1\)-saturated if it has no \((\omega,\omega^*)\)-gap and each decreasing \(\omega\)-sequence of elements different from 0 has a lower bound \(\neq 0\). Generalizing these conditions the author introduces the limit type of decreasing and increasing \(\omega\)-sequences of elements of a Boolean algebra and gives a condition on ideals \(I\) of \(2^ \omega\) which is necessary and sufficient for \(2^ \omega/I\) being \(\omega_ 1\)-saturated. Further on, this condition is reformulated to give a necessary and sufficient condition that the filtration limit \(2^ \omega_ F| G\) is \(\omega_ 1\)-saturated.