Some exact equiconsistency results in set theory (Q1066894): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1305/ndjfl/1093870823 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2017595981 / rank | |||
Normal rank |
Latest revision as of 00:43, 20 March 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