Set-theoretic blockchains

DOI10.1007/S00153-019-00672-ZzbMATH Open1468.03063OpenAlexW2953106595WikidataQ122874479 ScholiaQ122874479MaRDI QIDQ2274142FDOQ2274142

Authors Miha E. Habič, Joel David Hamkins, Lukas Daniel Klausner, Kameryn J. Williams, Jonathan Verner

Publication date 19 September 2019

Published in Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

surgeryamalgamabilityexact pairblockchainsgeneric multiversemutual genericity

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40)

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.

Recommendations

• On the set-generic multiverse
• On the set-generic multiverse
• Moving up and down in the generic multiverse
• Set-theoretic geology
• Infinite forcing and the generic multiverse

Cites work

• scientific article; zbMATH DE number 3528231 (Why is no real title available?)
• scientific article; zbMATH DE number 3604883 (Why is no real title available?)
• scientific article; zbMATH DE number 922633 (Why is no real title available?)
• scientific article; zbMATH DE number 3387344 (Why is no real title available?)
• Characterization of generic extensions of models of set theory
• Characterizations of pretameness and the Ord-cc
• Class forcing, the forcing theorem and Boolean completions
• Classes and truths in set theory
• Degree Structures: Local and Global Investigations
• Fine structure and class forcing
• GENERIC CODING WITH HELP AND AMALGAMATION FAILURE
• Moving up and down in the generic multiverse
• On Sequences of Degrees of Constructibility (Solution of Friedman'S Problem 75)
• Open determinacy for class games
• Set Theory
• Set-theoretic geology
• The continuum hypothesis, the generic-multiverse of sets, and the \(\Omega\) conjecture
• The downward directed grounds hypothesis and very large cardinals
• The ground axiom
• The hyperuniverse program
• The hyperuniverse project and maximality
• The modal logic of forcing
• What is the theory ZFC without power set?

Cited in

(9)

• Optimal block size for set-valued attributes
• Some Fundamentals of Mathematics of Blockchain
• On the set-generic multiverse
• Equivalence of generics
• Moving up and down in the generic multiverse
• On the set-generic multiverse
• Inclusive Block Chain Protocols
• VARIETIES OF CLASS-THEORETIC POTENTIALISM
• GENERIC CODING WITH HELP AND AMALGAMATION FAILURE

Describes a project that uses

Uses Software

• MathOverflow

This page was built for publication: Set-theoretic blockchains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2274142)