Superatomic Boolean algebras constructed from strongly unbounded functions

Abstract: Using Koszmider's strongly unbounded functions, we show the following consistency result: Suppose that

k a p p a, l a m b d a

are infinite cardinals such that

k a p p a^{+ + +} l e q l a m b d a

,

k a p p a^{< k a p p a} = k a p p a

and

2^{k a p p a} = k a p p a^{+}

, and

e t a

is an ordinal with

k a p p a^{+} l e q e t a < k a p p a^{+ +}

and

c f (e t a) = k a p p a^{+}

. Then, in some cardinal-preserving generic extension there is a superatomic Boolean algebra

B

such that -

h t (B) = e t a + 1

, - the cardinality of the

a l p h a

th level of

B

is

k a p p a

for every

a l p h a < e t a

, - and the cardinality of the

e t a

th level of

B

is

l a m b d a

Especially,

< o m e g a >_{{o m e g a}_{1}} c o n c a t e n a t i o n < {o m e g a}_{3} >

and

< {o m e g a}_{1} >_{{o m e g a}_{2}} c o n c a t e n a t i o n < {o m e g a}_{4} >

can be cardinal sequences of superatomic Boolean algebras.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Superatomic Boolean algebras constructed from strongly unbounded functions