964 citations
- The Graduate Center, CUNYUS76 papers
- City University of New YorkUS41 papers
- University of Massachusetts AmherstUS15 papers
- American Museum of Natural HistoryUS11 papers
- Flatiron Health (United States)US8 papers
- Space Telescope Science InstituteUS8 papers
- California Institute of TechnologyUS7 papers
- Centre National de la Recherche ScientifiqueFR7 papers
- Johns Hopkins UniversityUS7 papers
- City College of New YorkUS6 papers
- ETH ZurichCH6 papers
- Flatiron Institute6 papers
Showing 2012 · math.LOShow all
2 papers · 2 filters
math.LO2012
Moving up and down in the generic multiverse
Joel David Hamkins, Benedikt Löwe
We give a brief account of the modal logic of the generic multiverse, which is a bimodal logic with operators corresponding to the relations "is a forcing extension of" and "is a g…
math.LO2012★ 2 cited
Structural connections between a forcing class and its modal logic
Joel David Hamkins, George Leibman, Benedikt Löwe
The modal logic of forcing arises when one considers a model of set theory in the context of all its forcing extensions, interpreting necessity as "in all forcing extensions" and p…