All Questions
1 question
6
votes
2
answers
702
views
A sequence of generic filters that does not come from an iteration
Fix a countable transitive model $M$ of ZFC.
In my answer to this question I indicated that there are forcing iterations
$((Q_\alpha:\alpha\leq\omega),(\dot P_\alpha:\alpha<\omega))$ in $M$ and ...