Set-theoretic blockchains

DOI10.1007/s00153-019-00672-zzbMath1468.03063arXiv1808.01509OpenAlexW2953106595WikidataQ122874479 ScholiaQ122874479MaRDI QIDQ2274142

Kameryn J. Williams, Miha E. Habič, Lukas Daniel Klausner, Joel David Hamkins, Jonathan L. 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)

Related Items (3)

Equivalence of generics ⋮ VARIETIES OF CLASS-THEORETIC POTENTIALISM ⋮ GENERIC CODING WITH HELP AND AMALGAMATION FAILURE

Uses Software

• MathOverflow

Cites Work

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

This page was built for publication: Set-theoretic blockchains