Martin Goldstern Saharon Shelah The Bounded Proper Forcing Axiom. 58-73 1995 60 J. Symb. Log. 1 db/journals/jsyml/jsyml60.html#GoldsternS95