There are some different approaches to the multiverse of sets, in particular: 1) The approach by Woodin, 2) The approach by Sy Friedman, ..., 3) The approach by Hamkins. I wonder to know if ...
Hi, I have a doubt concerning Kunen's exposition of forcing in his classical book (arguably $the$ book on forcing). When dealing with Countable Transitive Models to set up the forcing machinery, ...
Here I refer to Hamkins' slides: http://lumiere.ens.fr/~dbonnay/files/talks/hamkins.pdf particularly, to the "Universe view simulated inside Multiverse", p. 22. My question is: is it very unsound ...