Several situations are presented in which there is an ordinal ? such that is a stationary subset of for all stationary subset of [?] for all stationary S,T ??. A natural strengthening of the existence of an ordinal ? for which the above conclusion holds lies, in terms of consistency strength, between the existence of the sharp of and the existence of sharps for all reals. Also, an optimal model separating Bounded Semiproper Forcing Axiom (BSPFA) and Bounded Martin's Maximum (BMM) is produced and it is shown that a strong form of BMM involving only parameters from Himplies that every function from ? into ? is bounded on a club by a canonical function.
|Number of pages||25|
|Journal||Archive for Mathematical Logic|
|Publication status||Published - 1 Sep 2009|