A+ CATEGORY SCIENTIFIC UNIT

Combinatorics of dense subsets of the rationals

Volume 183 / 2004

B. Balcar, F. Hernández-Hernández, M. Hrušák Fundamenta Mathematicae 183 (2004), 59-80 MSC: 03E17, 03E35, 06E15. DOI: 10.4064/fm183-1-4

Abstract

We study combinatorial properties of the partial order $({\rm Dense}(\Bbb Q ), \subseteq)$. To do that we introduce cardinal invariants $\frak p_\Bbb Q,\frak t_\Bbb Q,\frak h_\Bbb Q,\frak s_\Bbb Q,\frak r_\Bbb Q, \frak i_\Bbb Q$ describing properties of ${\rm Dense}(\Bbb Q )$. These invariants satisfy $\frak p_\Bbb Q\leq \frak t_\Bbb Q\leq \frak h_\Bbb Q\leq \frak s_\Bbb Q \leq\frak r_\Bbb Q\leq\frak i_\Bbb Q$. We compare them with their analogues in the well studied Boolean algebra ${\cal P}(\omega)/{\rm fin}$. We show that $\frak p_\Bbb Q =\frak p$, $\frak t_\Bbb Q =\frak t$ and $\frak i_\Bbb Q =\frak i$, whereas $\frak h_\Bbb Q >\frak h$ and $\frak r_\Bbb Q >\frak r$ are both shown to be relatively consistent with ZFC. We also investigate combinatorics of the ideal nwd of nowhere dense subsets of ,$\Bbb Q$. In particular, we show that $\mathop{\rm non}\nolimits (\mathcal M)=\min \{ \vert \mathcal{D}\vert : \mathcal{D}\subseteq {\rm Dense}( \Bbb{R}) \wedge ( \forall I\in \mathop{\rm nwd}\nolimits (\Bbb R) ) ( \exists D\in \mathcal{D}) ( I\cap D=\emptyset ) \}$ and $\mathop{\rm cof}\nolimits (\mathcal M)=\min \{ \vert \mathcal{D}\vert : \mathcal{D}\subseteq {\rm Dense}( \Bbb{Q}) \wedge ( \forall I\in \mathop{\rm nwd}\nolimits ) ( \exists D\in \mathcal{D}) ( I\cap D=\emptyset ) \}$. We use these facts to show that $\mathop{\rm cof}\nolimits (\mathcal M)\leq\frak i$, which improves a result of S. Shelah.

Authors

  • B. BalcarMathematical Institute
    of the Academy of Sciences of the Czech Republic
    Žitná 25
    115 67 Praha 1, Czech Republic
    e-mail
  • F. Hernández-HernándezInstituto de Matemáticas
    UNAM Unidad Morelia
    A. P. 61-3, Xangari
    C.P. 58089, Morelia, Mich., México
    e-mail
  • M. HrušákInstituto de Matemáticas
    UNAM Unidad Morelia
    A. P. 61-3, Xangari
    C.P. 58089, Morelia, Mich., México
    e-mail

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image