On the set-generic multiverse

Sy David Friedman, Sakaé Fuchino, Hiroshi Sakai

The forcing method is a powerful tool to prove the consistency of set-theoretic assertions relative to the consistency of the axioms of set theory. Laver's theorem and Bukovský's t…