Set-theoretic blockchains

【Author】 Habic, Miha E.; Hamkins, Joel David; Klausner, Lukas Daniel; Verner, Jonathan; Williams, Kameryn J.

【Source】ARCHIVE FOR MATHEMATICAL LOGIC

【影响因子】0.492

【Abstract】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 showed that any finite poset embeds into the generic multiverse while preserving the nonexistence of upper bounds. We obtain several improvements of his result, using what we call the blockchain construction to build generic objects with varying degrees of mutual genericity. The method accommodates certain infinite posets, and we can realize these embeddings via a wide variety of forcing notions, while providing control over lower bounds as well. We also give a generalization to class forcing in the context of second-order set theory, and exhibit some further structure in the generic multiverse, such as the existence of exact pairs.

【Keywords】Generic multiverse; Amalgamability; Blockchains; Mutual genericity; Surgery; Exact pair

【发表时间】2019 NOV

【收录时间】2022-01-02

【文献类型】

【主题类别】

--