Many forcing axioms for all regular uncountable cardinals

by Shelah. [Sh:832]

Our original aim was, in Abelian group theory to prove the consistency of: lambda is strong limit singular and for some properties of abelian groups which are relatives of being free, the compactness in singular fails. In fact this should work for R-modules, etc. As in earlier cases part of the work is analyzing how to move between the set theory and the algebra. Set theoretically we try to force a universe which satisfies G.C.H. and diamond holds for many stationary sets but, for every regular uncountable lambda, in some sense anything which ``may'' hold for some stationary set, does hold for some stationary set. More specifically we try to get a universe satisfying GCH such that e.g. for regular kappa < lambda there are pairs (S,B),S subseteq S^lambda_kappa stationary, B subseteq

{{H}}(lambda), which satisfies some pregiven forcing axiom related to (S,B), (so (lambda backslash S)-complete, i.e. ``trivial outside S'') underline {but} no more, i.e. slightly stronger versions fail (for this S). So set theoretically we try to get a universe satisfying G.C.H. but still satisfies ``many'', even for a maximal family in some sense, of forcing axioms of the form ``for some stationary'' while preserving GCH. As completion of the work lag for long, here we deal only with the set theory.

Back to the list of publications