Some exact equiconsistency results in set theory (Q1066894)

If we have: \(ZFC+A\) consistent iff \(ZFC+B\) consistent, then we say that A is equiconsistent with B (modulo ZFC). This paper gives two equiconsistency results. Theorem A is that between (i) the existence of a Mahlo cardinal and (ii) every stationary subset of \(\aleph_ 2\) consisting of cofinality \(\omega\) ordinals is stationary in some ordinal \(<\aleph_ 2\). (Formally one can show that (ii) is consistent only under the assumption of the existence of a weakly compact cardinal.) Theorem B says that the following are equiconsistent: (i) the existence of a weakly compact cardinal, (ii) Martin's axiom (MA) \(+ every\) projective set of reals is Lebesgue measurable, (iii) MA \(+ every\) projective set of reals has the property of Baire. (Formally one can show from (ii) whithout MA the existence of inaccessible cardinal and that (iii) without MA is outright consistent.) The equiconsistency result of theorem B comes from theorem C: Assuming MA: (i) Either there is a real a such that \(\aleph_ 1=(\aleph_ 1)^{L[a]}\) or \(\aleph_ 1\) is weakly compact in L; (ii) If \(\aleph_ 1=(\aleph_ 1)^ L\), then there is a \(\Sigma^ 1_ 3\) set which is not Lebesgue measurable and which does not have the property of Baire.