Answer by Andreas Blass for Generic filter over $V$
The existence of a generic $G$ over $V$ is indeed impossible in $V$ (for nontrivial forcing notions), but it has truth value 1 in appropriate Boolean-valued models. In more detail: If $P$ is a...
View ArticleGeneric filter over $V$
I re-read Jechs chapter about forcing, and got a question. There he characterizes a (what he calls) modern way to make the forcing argument legitimate which (I think) goes like this: It is pointed out...
View Article
More Pages to Explore .....