Moving Up and Down in the Generic Multiverse

DOI10.1007/978-3-642-36039-8_13zbMath1303.03078arXiv1208.5061OpenAlexW1538772034MaRDI QIDQ2936237

Joel David Hamkins, Benedikt Loewe

Publication date: 6 January 2015

Published in: Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1208.5061

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (8)

THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES ⋮ Inner-model reflection principles ⋮ The modal logic of abelian groups ⋮ Structural connections between a forcing class and its modal logic ⋮ Can all things be counted? ⋮ Set-theoretic blockchains ⋮ Set-theoretic geology ⋮ THE MODAL LOGIC OF -CENTERED FORCING AND RELATED FORCING CLASSES

This page was built for publication: Moving Up and Down in the Generic Multiverse