Skip to main content
Post Reopened by Joel David Hamkins, Timothy Chow, Asaf Karagila, Daniel Moskovich, François G. Dorais
Post Closed as "too localized" by Andrés E. Caicedo, Steven Landsburg, Henry Cohn, Simon Thomas, Nik Weaver
edited body
Source Link
Joel David Hamkins
  • 236.5k
  • 44
  • 777
  • 1.4k

Suppose $M$ satisfies the $CH$ and that we force over $M$ with $\mathbb{P}=Fn(I,2)$ where $(\omega_{2} \leq |I|))^{M}$, that is, with the finite-support partial functions from $I$ to $2$. If $f \in M[G] \cap \omega^{\omega}$, then is there necessarily a function $g \in M \cap \omega^{\omega}$ for which {$n:f(n) \leq g(n)$} is infinite? Please give a suggestion to help me work this exercise from Kunen's book.

Suppose $M$ satisfies the $CH$ and that we force over $M$ with $\mathbb{P}=Fn(I,2)$ where $(\omega_{2} \leq |I|))^{M}$, that is, with the finite-support functions from $I$ to $2$. If $f \in M[G] \cap \omega^{\omega}$, then is there necessarily a function $g \in M \cap \omega^{\omega}$ for which {$n:f(n) \leq g(n)$} is infinite? Please give a suggestion to help me work this exercise from Kunen's book.

Suppose $M$ satisfies the $CH$ and that we force over $M$ with $\mathbb{P}=Fn(I,2)$ where $(\omega_{2} \leq |I|))^{M}$, that is, with the finite partial functions from $I$ to $2$. If $f \in M[G] \cap \omega^{\omega}$, then is there necessarily a function $g \in M \cap \omega^{\omega}$ for which {$n:f(n) \leq g(n)$} is infinite? Please give a suggestion to help me work this exercise from Kunen's book.

added 97 characters in body; edited tags; edited body
Source Link
Joel David Hamkins
  • 236.5k
  • 44
  • 777
  • 1.4k

suposeSuppose $M$ satisfacesatisfies the $CH$ and that we force over $M$ with $\mathbb{P}=Fn(I,2)$ where $(\omega_{2} \leq |I|))^{M}$ if, that is, with the finite-support functions from $I$ to $2$. If $f \in M[G] \cap \omega^{\omega}$ then existe, then is there necessarily a function $g \in M \cap \omega^{\omega}$ andfor which {$n:f(n) \leq g(n)$} is infinite.? I canPlease give a suggestion to help me work with this exercise Kunenfrom Kunen's book or give a suggestion, and that $(\omega_{2} \leq |I|))^{M}$.

supose $M$ satisface $CH$ and $\mathbb{P}=Fn(I,2)$ where $(\omega_{2} \leq |I|))^{M}$ if $f \in M[G] \cap \omega^{\omega}$ then existe $g \in M \cap \omega^{\omega}$ and {$n:f(n) \leq g(n)$} is infinite. I can work with this exercise Kunen book or give a suggestion, and that $(\omega_{2} \leq |I|))^{M}$.

Suppose $M$ satisfies the $CH$ and that we force over $M$ with $\mathbb{P}=Fn(I,2)$ where $(\omega_{2} \leq |I|))^{M}$, that is, with the finite-support functions from $I$ to $2$. If $f \in M[G] \cap \omega^{\omega}$, then is there necessarily a function $g \in M \cap \omega^{\omega}$ for which {$n:f(n) \leq g(n)$} is infinite? Please give a suggestion to help me work this exercise from Kunen's book.

Source Link

set theory forcing

supose $M$ satisface $CH$ and $\mathbb{P}=Fn(I,2)$ where $(\omega_{2} \leq |I|))^{M}$ if $f \in M[G] \cap \omega^{\omega}$ then existe $g \in M \cap \omega^{\omega}$ and {$n:f(n) \leq g(n)$} is infinite. I can work with this exercise Kunen book or give a suggestion, and that $(\omega_{2} \leq |I|))^{M}$.