BSPFA Combined with One Measurable Cardinal (Studies in Relative Consistency Proofs with Particular Emphasis on Set Theoretic Methods)
Tadatoshi Miyamoto · Institutional Repositories DataBase (IRDB) · 2003
We consider consequences of BSPFA (Bounded Semi-Proper Forcing Axiom) combined with an existence of ameasurable cardinal.The large cardinal assures existences of relevant semiproper preorders via Chang's Conjecture tyPe arguments.