collaborators

1 paper

math.LO2018

Set-Theoretic Blockchains

Miha E. Habič, Joel David Hamkins, Lukas Daniel Klausner +2

Given a countable model of set theory, we study the structure of its generic multiverse, the collection of its forcing extensions and ground models, ordered by inclusion. Mostowski…