Superatomic Boolean algebras constructed from strongly unbounded functions

Abstract

Using Koszmider's strongly unbounded functions, we show the following consistency result: Suppose that $κ,λ$ are infinite cardinals such that $κ^{+++} \leq λ$, $κ^{<κ}=κ$ and $2^κ= κ^+$, and $η$ is an ordinal with $κ^+\leq η<κ^{++}$ and $cf(η) = κ^+$. Then, in some cardinal-preserving generic extension there is a superatomic Boolean algebra $B$ such that - $ht(B) = η+ 1$, - the cardinality of the $α$th level of $B$ is $κ$ for every $α<η$, - and the cardinality of the $η$th level of $B$ is $λ$ Especially, $\<ω\>_{ω_1}\concatenation \<ω_3\>$ and $\<ω_1\>_{ω_2}\concatenation \<ω_4\>$ can be cardinal sequences of superatomic Boolean algebras.