4 Possible Pcf Algebras


There exists a family {Bα}α<ω1 of sets of countable ordinals such that (1) maxBα = α, (2) if α ∈ Bβ then Bα ⊆ Bβ , (3) if λ ≤ α and λ is a limit ordinal then Bα ∩ λ is not in the ideal generated by the Bβ , β < α, and by the bounded subsets of λ, (4) there is a partition {An}n=0 of ω1 such that for every α and every n, Bα∩An is finite.

Cite this paper

@inproceedings{Shelah19964PP, title={4 Possible Pcf Algebras}, author={Saharon Shelah}, year={1996} }