Highly Influential

6 Excerpts

- Published 1996

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.

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