On the consistency of the Moore-Mrówka solution (Q1203825): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3049484 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Compact Hausdorff Spaces of Countable Tightness / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3220578 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4090330 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On spaces in which countably compact sets are closed, and hereditary properties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proper forcing / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Forcing Positive Partition Relations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3677756 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Directed Sets and Cofinal Types / rank | |||
Normal rank |
Latest revision as of 14:43, 17 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the consistency of the Moore-Mrówka solution |
scientific article |
Statements
On the consistency of the Moore-Mrówka solution (English)
0 references
18 February 1993
0 references
The author shows that large cardinal assumptions are not necessary to prove the consistency of seven recent PFA results of Balogh, Fremlin and Nyikos on countably compact spaces of countable tightness and closed preimages of \(\omega_ 1\). First, two technical properties of a countably compact space and of closed mappings onto \(\omega_ 1\) are extracted, and then the rest is shown to be a consequence of these conditions. Afterwards, these conditions are shown to be consistent. For this, consistency preservation properties of a forcing iteration should be guaranteed. A more sophisticated forcing technique is the main point to remove the need for large cardinals for this preservation. E.g., it is consistent with ZF that compact spaces of countable tightness are sequential.
0 references
proper forcing axiom
0 references
sequential space
0 references
consistency
0 references
countably compact spaces
0 references
closed mappings
0 references
compact spaces of countable tightness
0 references