Paper detail

Many forcing axioms for all regular uncountable cardinals

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^λ_κstationary, B \subseteq H (lambda), which satisfies some pregiven forcing axiom related to (S,B), (so (lambda\ S)-complete, i.e. "trivial outside S) but no more, i.e. slightly stronger versions fail. 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 lagged for a while, here we deal only with the set theory.