Set-theoretic blockchains

Archive for Mathematical Logic 58 (7-8):965-997 (2019)
  Copy   BIBTEX


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.



    Upload a copy of this work     Papers currently archived: 92,261

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The set-theoretic multiverse.Joel David Hamkins - 2012 - Review of Symbolic Logic 5 (3):416-449.
Set-theoretic mereology.Joel David Hamkins & Makoto Kikuchi - 2016 - Logic and Logical Philosophy 25 (3):285-308.
Set-theoretic geology.Gunter Fuchs, Joel David Hamkins & Jonas Reitz - 2015 - Annals of Pure and Applied Logic 166 (4):464-501.
The Set-theoretic Multiverse : A Natural Context for Set Theory.Joel David Hamkins - 2011 - Annals of the Japan Association for Philosophy of Science 19:37-55.
An Order-Theoretic Account of Some Set-Theoretic Paradoxes.Thomas Forster & Thierry Libert - 2011 - Notre Dame Journal of Formal Logic 52 (1):1-19.
Set Theory and Structures.Neil Barton & Sy-David Friedman - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Springer Verlag. pp. 223-253.
Saturated models of universal theories.Jeremy Avigad - 2002 - Annals of Pure and Applied Logic 118 (3):219-234.
Revisiting Dummett's Proof-Theoretic Justification Procedures.Hermógenes Oliveira - 2017 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016. London: College Publications. pp. 141-155.
Hierarchies of measure-theoretic ultrafilters.Michael Benedikt - 1999 - Annals of Pure and Applied Logic 97 (1-3):203-219.
Optimality Theoretic and Game Theoretic Approaches to Implicatures.R. Van Rooij - forthcoming - Stanford Encyclopedia of Philosophy.


Added to PP

28 (#572,733)

6 months
8 (#370,225)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

Varieties of Class-Theoretic Potentialism.Neil Barton & Kameryn J. Williams - 2024 - Review of Symbolic Logic 17 (1):272-304.
Generic coding with help and amalgamation failure.Sy-David Friedman & Dan Hathaway - 2021 - Journal of Symbolic Logic 86 (4):1385-1395.
Equivalence of generics.Iian B. Smythe - 2022 - Archive for Mathematical Logic 61 (5):795-812.

Add more citations

References found in this work

Set-theoretic geology.Gunter Fuchs, Joel David Hamkins & Jonas Reitz - 2015 - Annals of Pure and Applied Logic 166 (4):464-501.
Classes and truths in set theory.Kentaro Fujimoto - 2012 - Annals of Pure and Applied Logic 163 (11):1484-1523.
The downward directed grounds hypothesis and very large cardinals.Toshimichi Usuba - 2017 - Journal of Mathematical Logic 17 (2):1750009.
The Ground Axiom.Jonas Reitz - 2007 - Journal of Symbolic Logic 72 (4):1299 - 1317.
What is the theory without power set?Victoria Gitman, Joel David Hamkins & Thomas A. Johnstone - 2016 - Mathematical Logic Quarterly 62 (4-5):391-406.

View all 12 references / Add more references