Set-theoretic blockchains

DOI10.1007/S00153-019-00672-ZzbMATH Open1468.03063arXiv1808.01509OpenAlexW2953106595WikidataQ122874479 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)

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.

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

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

zbMATH Keywords

surgeryamalgamabilityexact pairblockchainsgeneric multiversemutual genericity

Mathematics Subject Classification ID

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

Cites Work

• Classes and truths in set theory
• Set Theory
• Set-theoretic geology
• What is the theory ZFC without power set?
• Fine structure and class forcing
• Degree Structures: Local and Global Investigations
• The ground axiom
• The modal logic of forcing
• Title not available (Why is that?)
• Moving Up and Down in the Generic Multiverse
• The hyperuniverse program
• Characterization of generic extensions of models of set theory
• On Sequences of Degrees of Constructibility (Solution of Friedman'S Problem 75)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The downward directed grounds hypothesis and very large cardinals
• CLASS FORCING, THE FORCING THEOREM AND BOOLEAN COMPLETIONS
• The continuum hypothesis, the generic-multiverse of sets, and the \(\Omega\) conjecture
• Characterizations of pretameness and the Ord-cc
• The Hyperuniverse Project and Maximality
• Title not available (Why is that?)
• GENERIC CODING WITH HELP AND AMALGAMATION FAILURE
• Open determinacy for class games

Cited In (6)

• GENERIC CODING WITH HELP AND AMALGAMATION FAILURE
• Some Fundamentals of Mathematics of Blockchain
• Equivalence of generics
• Inclusive Block Chain Protocols
• Optimal block size for set-valued attributes
• VARIETIES OF CLASS-THEORETIC POTENTIALISM

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)