ON THE SET-GENERIC MULTIVERSE

DOI10.1142/9789813223523_0003zbMath1448.03037OpenAlexW4243649540MaRDI QIDQ5137315

Hiroshi Sakai, Sakaé Fuchino, Sy-David Friedman

Publication date: 2 December 2020

Published in: Sets and Computations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/9789813223523_0003

zbMATH Keywords

multiverseforcingphilosophy of set theoryLaver's theoremBukovský's theorem

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (3)

The downward directed grounds hypothesis and very large cardinals ⋮ Logics of intuitionistic Kripke-Platek set theory ⋮ Structural connections between a forcing class and its modal logic

This page was built for publication: ON THE SET-GENERIC MULTIVERSE