Quantcast
Channel: Why do we need a transitive model in forcing arguments? - MathOverflow
Browsing latest articles
Browse All 4 View Live

Answer by Bill Mitchell for Why do we need a transitive model in forcing...

This is really a comment on Hamkins answer, but I'm not permitted to make comments so I'll write it as an answer. Using the standard Schoenfield machinery for forcing, there is no need for a well...

View Article



Answer by Mohammad Golshani for Why do we need a transitive model in forcing...

You may look at the paper ``Forcing with non-wellfounded models''. Australas. J. Log. 5 (2007), 20–57, by Paul Corazza: Here is the abstract of the paper: We develop the machinery for performing...

View Article

Answer by Joel David Hamkins for Why do we need a transitive model in forcing...

Yes, one can undertake forcing without the transitivity assumption, and even the countability of the model is not important. One of the standard ways to do this is with the Boolean-valued model...

View Article

Why do we need a transitive model in forcing arguments?

One major approach to the theory of forcing is to assume that ZFC has a countable transitive model $M \in V$ (where $V$ is the "real" universe). In this approach, one takes a poset $\mathbb{P} \in M$,...

View Article
Browsing latest articles
Browse All 4 View Live




Latest Images