Skip to main content
added answer to new version of the question
Source Link
Andreas Blass
  • 73.1k
  • 8
  • 191
  • 290

No, because reals not in the ground model can be different in definable (with parameters from the ground model) ways. For example, $\dot x$ might be (forced by all conditions to be) a Cohen-generic subset of $\omega$, while $\dot y$ is the intersection of $\dot x$ with the set of even numbers. Then $\dot y$ is disjoint from an infinite ground-model set of natural numbers but $\dot x$ is not.

EDIT to answer the edited version of the question: The answer is still negative, if $A$ is an infinite, coinfinite, ground-model subset of $\omega$. Let $\dot c$ be (the canonical name of) the Cohen subset of $\omega$ directly added by the forcing. Let $\dot x$ be the intersection of $\dot c$ with $A$. Let $\dot y$ be a copy on $A$ of all of $\dot c$, i.e., the $n$-th element of $A$ is in $\dot y$ iff $n\in\dot c$. Then both $\dot x$ and $\dot y$ are generic with respect to the Cohen forcing over $A$. They are not related by an automorphism of the forcing, because $\dot y$ generates (over the original ground model) the whole forcing extension (the same as $\dot c$) while $\dot x$ generates only an intermediate model.

No, because reals not in the ground model can be different in definable (with parameters from the ground model) ways. For example, $\dot x$ might be (forced by all conditions to be) a Cohen-generic subset of $\omega$, while $\dot y$ is the intersection of $\dot x$ with the set of even numbers. Then $\dot y$ is disjoint from an infinite ground-model set of natural numbers but $\dot x$ is not.

No, because reals not in the ground model can be different in definable (with parameters from the ground model) ways. For example, $\dot x$ might be (forced by all conditions to be) a Cohen-generic subset of $\omega$, while $\dot y$ is the intersection of $\dot x$ with the set of even numbers. Then $\dot y$ is disjoint from an infinite ground-model set of natural numbers but $\dot x$ is not.

EDIT to answer the edited version of the question: The answer is still negative, if $A$ is an infinite, coinfinite, ground-model subset of $\omega$. Let $\dot c$ be (the canonical name of) the Cohen subset of $\omega$ directly added by the forcing. Let $\dot x$ be the intersection of $\dot c$ with $A$. Let $\dot y$ be a copy on $A$ of all of $\dot c$, i.e., the $n$-th element of $A$ is in $\dot y$ iff $n\in\dot c$. Then both $\dot x$ and $\dot y$ are generic with respect to the Cohen forcing over $A$. They are not related by an automorphism of the forcing, because $\dot y$ generates (over the original ground model) the whole forcing extension (the same as $\dot c$) while $\dot x$ generates only an intermediate model.

Source Link
Andreas Blass
  • 73.1k
  • 8
  • 191
  • 290

No, because reals not in the ground model can be different in definable (with parameters from the ground model) ways. For example, $\dot x$ might be (forced by all conditions to be) a Cohen-generic subset of $\omega$, while $\dot y$ is the intersection of $\dot x$ with the set of even numbers. Then $\dot y$ is disjoint from an infinite ground-model set of natural numbers but $\dot x$ is not.