Skip to main content
added 12 characters in body
Source Link
Joel David Hamkins
  • 236.3k
  • 44
  • 777
  • 1.4k

No, not every new real in the Silver extension is generic for Silver forcing. To see this, take any new real $x$ in the extension, and form a new real $y$ by doubling every digit of $x$. So if $x=011010\ldots$, then $y=001111001100\ldots$. The real $y$ cannot be Silver generic, since it is dense in Silver forcing to violate the digits-doubling property. Given any condition, look at the first bit not specified, and then fill that bit (and possibly the next) in such a way that the conditiondouble-digit property is violated.

No, not every new real in the Silver extension is generic for Silver forcing. To see this, take any new real $x$ in the extension, and form a new real $y$ by doubling every digit of $x$. So if $x=011010\ldots$, then $y=001111001100\ldots$. The real $y$ cannot be Silver generic, since it is dense in Silver forcing to violate the digits-doubling property. Given any condition, look at the first bit not specified, and then fill that bit (and possibly the next) in such a way that the condition is violated.

No, not every new real in the Silver extension is generic for Silver forcing. To see this, take any new real $x$ in the extension, and form a new real $y$ by doubling every digit of $x$. So if $x=011010\ldots$, then $y=001111001100\ldots$. The real $y$ cannot be Silver generic, since it is dense in Silver forcing to violate the digits-doubling property. Given any condition, look at the first bit not specified, and then fill that bit (and possibly the next) in such a way that the double-digit property is violated.

Source Link
Joel David Hamkins
  • 236.3k
  • 44
  • 777
  • 1.4k

No, not every new real in the Silver extension is generic for Silver forcing. To see this, take any new real $x$ in the extension, and form a new real $y$ by doubling every digit of $x$. So if $x=011010\ldots$, then $y=001111001100\ldots$. The real $y$ cannot be Silver generic, since it is dense in Silver forcing to violate the digits-doubling property. Given any condition, look at the first bit not specified, and then fill that bit (and possibly the next) in such a way that the condition is violated.