Fix a countable transitive model $M$ of ZFC.
In my answer to [this question](https://mathoverflow.net/questions/38648/a-question-about-iterated-forcing) I indicated that there are forcing iterations
$((Q\_\alpha:\alpha\leq\omega),(\dot P\_\alpha:\alpha<\omega))$ in $M$ and sequences
$(G\_\alpha:\alpha<\omega)$ of filters such that the following happens:


Each $G\_\alpha$ is a filter in the evaluation of $\dot P\_\alpha$ with respect to the filter $G\_0\*\dots\*G\_{\alpha-1}$ and $G\_\alpha$ is generic over $M[G\_0,\dots,G\_{\alpha-1}]$
(call such a sequence $(G\_\alpha:\alpha<\omega)$ a sequence of generics), 
but there is no $Q\_\omega$-generic filter over $M$ whose 
$\alpha$-th projection is $G\_\alpha$ for all $\alpha<\omega$. 


An example can be obtained as follows:  

Take the countable support iteration of Sacks forcing
(or any other nontrivial $\omega^\omega$-bounding proper forcing notion) of length $\omega$
(i.e., the supports are actually everything, but this doesn't matter).
This forcing adds no Cohen real. 


Compare this to the finite support iteration of the same forcing notions.
This iteration does add a Cohen real. The Cohen real is coded by the sequence of generics
and hence this sequence of generics does not come from a generic filter for the countable support iteration mentioned before. This sequence of generics is not even contained in
a forcing extension obtained using the countable support iteration.


Now here are two questions:


1) Is there an example of a sequence of generics (of length $\omega$) that cannot come from
any iteration of the $\dot P\_\alpha$? 


I am asking here for iterations where the finite initial segments are as usual (just plain iteration) and we choose whatever ideal for the supports, including all finite subsets of the index set.
But I am open to more general forms of iteration. For example take a large forcing notion
$Q$ along with commuting complete embeddings of the $Q\_\alpha$, $\alpha<\omega$.
This would be an iteration of the $\dot P\_\alpha$, too, the most general one that I can think of right now.


2) Is there an example of a sequence of generics over $M$ that is not contained in any countable transitive extension of $M$ with the same ordinals as $M$ that is a model of ZFC?


Obviously, a positive answer to 2) solves 1) as well. 



A sequence of generic filters that does not come from an iteration
There are a number of interesting things to say. 


The answer to your first question is yes. Suppose that $M$ is a countable transitive model of set theory and we have a forcing iteration $P\_\omega$ in $M$ of length $\omega$, forcing with, say, Cohen forcing $Q\_n$ at stage $n$. Let $z$ be any real that cannot be added by forcing over $M$, such as a real that codes all the ordinals of $M$. This real cannot exist in any extension of $M$ to a model of ZFC with the same ordinals. Now, suppose that $G$ is any $M$-generic filter for the iteration, with $G\_n$ being the stage $n$ generic filter. Let $H\_n$ be the filter that results from $G\_n$ by changing the first bit so as to agree with $z(n)$. That is, we change a single bit at each stage. The resulting sequence $\langle H\_n | n\in\omega\rangle$ will be generic at every stage, since only finitely many bits are changed by a given stage, but the whole sequence computes $z$, which cannot be added by forcing. 


Second, a similar phenomenon occurs even just with 2-step product forcing:


**Theorem.** If $M$ is a countable transitive model of ZFC, then there are two $M$-generic Cohen reals $c$ and $d$ such that $M[c]$ and $M[d]$ have no common extension to model of ZFC with the same ordinals. 


The proof is to build $c$ and $d$ in stages. Fix a real $z$ which cannot exist in any extension of $M$ with the same ordinals, and enumerate the dense sets of $M$ by $D\_0, D\_1$ and so on. Build $c$ and $d$ in zig-zag fashion: first provide $c\_0$ meeting $D\_0$, and $d\_0$ all $0$s of the same length as $c\_0$, followed by the first digit of $z$. Now extend $d\_0$ to $d\_1$ meeting the dense set, adding all $0$s to $c\_0$ making $c\_1$ of the same length, and adding one more bit of $z$. And so on. The point is that we ensure that each of $c$ and $d$ is $M$-generic, but together, they reveal the coding points of $z$. So no model extending $M$ with the same ordinals can have both $c$ and $d$, for then it would have $z$.


Third, this is essentially the only kind of obstacle, for there is a positive result here. The following theorem is proved in a paper with G. Fuchs, myself and J. Reitz on the topic of [set-theoretic geology](http://arxiv.org/abs/1107.4776):


**Theorem.** If $M$ is a countable transitive model of set theory, and $M[G\_n]$ is a sequence of generic extensions of $M$ by forcing $G\_n\subset P\_n\in M$ of bounded size in $M$, such that the extensions are finitely amalgamble, in the sense that any finitely many of the $M[G\_n]$ have a common forcing extension $M[H]$, then there is a single forcing extension $M[H]$ containing all $M[G\_n]$. 


I'll try to post a proof sketch later, but the main idea is to perform a very large combination of forcing, and then perform surgey so as to replace certain coordinate generics with $G\_n$, in such a way that the resulting extension can see only finite fragments of the sequence $\langle G\_n | n\lt\omega\rangle$, without being able to construct the whole sequence. 


A special case of this theorem answers your second question, in a sense, for if we have a sequence of extensions $M\subset M[G\_0]\subset M[G\_1]\subset\cdots$, then these extensions are finitely amalgamable, and so there is indeed a common extension $M[H]$ containing every $M[G\_n]$. This extension, however, is not an $\omega$-iteration of the forcing notions in your iteration, and in general we cannot expect that the sequence $\langle G\_n | n\lt\omega\rangle$ is in $M[H]$, for the reasons described above. 


