Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
Stefan Geschke's user avatar