A base-matrix lemma for sets of rationals modulo nowhere dense sets (Q412066): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q124988219 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combinatorics of dense subsets of the rationals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The space of ultrafilters on N covered by nowhere dense sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combinatorial Cardinal Characteristics of the Continuum / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Forcing with quotients / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4354789 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Set theory. An introduction to independence proofs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5444715 / rank | |||
Normal rank |
Latest revision as of 03:56, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A base-matrix lemma for sets of rationals modulo nowhere dense sets |
scientific article |
Statements
A base-matrix lemma for sets of rationals modulo nowhere dense sets (English)
0 references
3 May 2012
0 references
Let \(B\) be the algebra of Borel subsets of~\(2^\omega\). The trace of a~\(\sigma\)-ideal~\(I\) on~\(2^\omega\) is defined by \(\text{tr}(I)=\{a\subseteq2^{<\omega}: \{r\in2^\omega:\exists^\infty n\) \(r{\restriction}n\in a\}\in I\}\). \textit{M.~Hrušák} and \textit{J.~Zapletal} in [Arch. Math. Logic 47, No. 7--8, 719--739 (2008; Zbl 1171.03029)] studied the relationship between the forcing notions \(P_I=B/I\) and \(Q_{\text{tr}(I)}=\mathcal{P}(2^{<\omega})/\text{tr}(I)\) and proved that under the properness and the property of continuous reading of names of~\(P_I\) the forcing \(Q_{\text{tr}(I)}\) is also proper and \(Q_{\text{tr}(I)}=P_I*R_I\), where \(R_I\)~is a~name of an \(\aleph_0\)-distributive forcing and, in some cases, equivalent to \(\mathcal{P}(\omega)/\text{fin}\) in the \(P_I\)-generic extension. The authors of the paper under review prove that in the case when \(I\) is the ideal of meager sets or the ideal of null sets, the remainder forcing \(R_I\) is \(\sigma\)-closed, and if \(I\) is the ideal of meager sets, \(R_I\)~is equivalent to the quotient \(\mathcal{P}(\mathbb{Q})/\text{nwd}\). \textit{B.~Balcar}, \textit{F.~Hernández-Hernández} and \textit{M.~Hrušák}, in [Fundam. Math. 183, No. 1, 59--80 (2004; Zbl 1051.03038)], compared this forcing with the quotient \(\text{Dense}(\mathbb{Q})/\text{nwd}\), for which a base-matrix lemma was proved, and they asked whether the same holds for \(\mathcal{P}(\mathbb{Q})/\text{nwd}\). This is answered in the positive in the paper under review.
0 references
quotient forcing
0 references
remainder forcing
0 references
Cohen forcing
0 references
random forcing
0 references
distributivity number
0 references
base-matrix lemma
0 references