Question 1: Suppose that $V[G]$ is a set generic extension of $V$ by some forcing notion $P\in V,$ and suppose that $W$ is a model of $ZFC, V \subset W \subset V[G].$ Can we find a forcing notion $Q\in V$ and a map $\pi: P\to Q$ such that:

1) $|Q|\leq |P|,$

2) $\pi$ and $G$ generate a filter $H$ which is $Q-$generic over $V$ (for example if $\pi$ is a projection, then we can take $H$ to be the filter generated by $\pi''[G]$),

3) $W=V[H].$

Remark. Let $B=r.o(P).$ Then for some $\bar{G}, B-$generic over $V$, we have $V[G]=V[\bar{G}].$ Also for some complete subalgebra $C$ of $B, W=V[\bar{G}\cap C].$ If $P$ satisfies the $\kappa-c.c.$, then $|C|\leq |B| \leq |P|^{<\kappa},$ so clearly the answer is yes if $|P|=|P|^{<\kappa}.$

Question 2: Suppose that $P, Q\in V$ are two forcing notions such that for any $G$ which is $P-$generic over $V$, there is $H\in V[G]$ which is $Q-$generic over $V$. Is there a map $\pi: P\to Q$ such that for any $G$ as above, we can choose $H$ to be the filter generated by $\pi[G]$?

  • $\begingroup$ I can answer question 2 affirmatively in the case that either $P$ or $Q$ is a complete boolean algebra. But perhaps these cases are clear already. $\endgroup$ May 30 '14 at 18:47
  • $\begingroup$ It would be nice if you give your argument for these cases. $\endgroup$ Jun 2 '14 at 15:55

The answer to your first question is yes. Let $C \subseteq B$ be as in your remark. Let $\pi : B \to C$ be the standard projection map, $\pi(b) = \inf \{ c \in C : c \geq b \}$. The restriction of $\pi$ to $P$ maps a dense subset of $B$ onto a dense subset $Q \subseteq C$, it is a projection, and $|Q| \leq |P|$.

  • $\begingroup$ Monroe, I don't think you intend that $\pi=\text{id}$, since $C$ is contained in $B$, so the identity map from $B$ to $C$ doesn't make sense. Rather, don't you want to use the projection $\pi(b)=\bigvee \{ c\in C\mid c\leq b\}$ or something like that? $\endgroup$ May 27 '14 at 17:22
  • $\begingroup$ Does this idea also answer a recent question that we had had here about intermediate models and projections of partial orders? Probably Mohammad can post the link to the question. $\endgroup$ May 27 '14 at 17:41
  • $\begingroup$ @Joel: I think that Mohammad deleted that question, and posting this one in its stead. $\endgroup$
    – Asaf Karagila
    May 27 '14 at 18:33
  • $\begingroup$ By weak projection do you mean for all $p \in P$ and all $q \leq \pi(p)$ there is $r \leq p$ such that $\pi(r) \leq q$? (Rather than $\pi(r) = q$.) I'm pretty sure this does the same job so I call it a projection. It should get you the three properties you desire. $\endgroup$ May 28 '14 at 3:12
  • $\begingroup$ Well you get the stronger property in this situation. Take $q \in Q$, $q \leq \pi(p)$. There is $b \in B$, $b \leq p$, such that $\pi(b) = q$. Then take $r \leq b$, $r \in P$; we have $\pi(r) \leq q$. $\endgroup$ May 28 '14 at 3:30

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.