Some exact equiconsistency results in set theory (Q1066894): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 01:01, 31 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Some exact equiconsistency results in set theory |
scientific article |
Statements
Some exact equiconsistency results in set theory (English)
0 references
1985
0 references
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.
0 references
forcing
0 references
Baire property
0 references
Mahlo cardinal
0 references
stationary subset
0 references
weakly compact cardinal
0 references
Martin's axiom
0 references
projective set of reals
0 references
Lebesgue measurable
0 references