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
    0 references
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references