5
$\begingroup$

Asumme tha in $M$, $CH$ holds and $\kappa>\aleph_0$ and $\kappa^{\aleph_0}=\kappa$. Let $K$ be $Fn(\kappa,2)$-generic over $M$.

Question:

Then we can say in $M[K]$ that:

$(i)$ $\mathfrak{p}=\mathfrak{b}=\mathfrak{a}=\aleph_1$ and $\mathfrak{d}=\mathfrak{c}=\kappa$ ?

Where

$\mathfrak{c}=2^{\aleph_0}$ the size of the continuum.

$\mathfrak{d}$, is the least size of a $\mathfrak{d}$ominating family.

$\mathfrak{b}$, is the least size of an un$\mathfrak{b}$ounded family.

$\mathfrak{p}$, is the least size of family $\mathcal{E}\subseteq [\omega]^\omega$ such that $\mathcal{E}$ has the SFIP and there does not exist any $\mathfrak{p}$seuod-intersection of $\mathcal{E}$.

$\mathfrak{a}$, is the least size of an infinite m$\mathfrak{a}$d family.

Improve this question
$\endgroup$
1
  • 3
    $\begingroup$ Why the vote to close? $\endgroup$
    – Noah Schweber
    Commented Mar 14, 2015 at 1:42

1 Answer 1

Reset to default
8
$\begingroup$

Yes, these values are correct for the Cohen model. (Self-promotion: See the table in Section 11 of my chapter in the Handbook of Set Theory. The pre-publication version is on my web site at http://www.math.lsa.umich.edu/~ablass/hbk.pdf .)

Improve this answer
$\endgroup$
2
  • $\begingroup$ Hello Andreas Blass, I would like to see proof of this question, where I can see ?. thanks $\endgroup$
    – Angel
    Commented Mar 14, 2015 at 1:29
  • 1
    $\begingroup$ @Angel All these facts are in Section 11.3 of the handbook chapter cited in my answer. Unfortunately, you may need to look at some of the earlier sections of the chapter for some of the terminology used there. Although I don't have my copy of the Bartoszynski-Judah book "Set theory: On the structure of the real line" handy, I'm pretty sure all this information is there also. $\endgroup$
    – Andreas Blass
    Commented Mar 14, 2015 at 14:10

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .