Was Sierpiński right? III. Can continuum-c.c. times c.c.c. be continuum-c.c.? (Q1919771): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2080054908 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: math/9509226 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Was Sierpinski right? I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3137214 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4732473 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4714214 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proper and Improper Forcing / rank | |||
Normal rank |
Latest revision as of 13:42, 24 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Was Sierpiński right? III. Can continuum-c.c. times c.c.c. be continuum-c.c.? |
scientific article |
Statements
Was Sierpiński right? III. Can continuum-c.c. times c.c.c. be continuum-c.c.? (English)
0 references
19 March 1997
0 references
[For Parts I and II see Isr. J. Math. 62, No. 3, 355-380 (1988; Zbl 0657.03028) and Colloq. Math. Soc. János Bolyai 60, 637-668 (1992; Zbl 0808.03030), respectively.] The author proves that, consistently, all products \(\mathbb{P} \times \mathbb{Q}\), with \(\mathbb{P}\) a ccc poset and \(\mathbb{Q}\) a \(2^{\aleph_0}\)-cc poset may be \(2^{\aleph_0}\)-cc. The proof uses a finite support iteration of length \(\lambda\), where \(\lambda\) is a Ramsey cardinal. In the end \(2^{\aleph_0} = \lambda\) and the following condition, akin to Knaster's condition, holds: in every \(\lambda\)-cc Boolean algebra every set of size \(\lambda\) contains an \(\aleph_1\)-sized subset with the finite intersection property.
0 references
chain conditions
0 references
continuum-cc poset
0 references
\(\lambda\)-cc Boolean algebra
0 references
ccc poset
0 references
finite support iteration
0 references
Ramsey cardinal
0 references
finite intersection property
0 references