2 citations · 2 across the 3 of their papers we have counts for
3 papers
math.LO2023
Symmetry for transfinite computability
Lorenzo Galeotti, Ethan S. Lewis, Benedikt Löwe
Finite Turing computation has a fundamental symmetry between inputs, outputs, programs, time, and storage space. Standard models of transfinite computational break this symmetry; w…
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…