Switch to: References

Add citations

You must login to add citations.
  1. Set-theoretic blockchains.Miha E. Habič, Joel David Hamkins, Lukas Daniel Klausner, Jonathan Verner & Kameryn J. Williams - 2019 - Archive for Mathematical Logic 58 (7-8):965-997.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Lattice initial segments of the hyperdegrees.Richard A. Shore & Bjørn Kjos-Hanssen - 2010 - Journal of Symbolic Logic 75 (1):103-130.
    We affirm a conjecture of Sacks [1972] by showing that every countable distributive lattice is isomorphic to an initial segment of the hyperdegrees, $\scr{D}_{h}$ . In fact, we prove that every sublattice of any hyperarithmetic lattice (and so, in particular, every countable, locally finite lattice) is isomorphic to an initial segment of $\scr{D}_{h}$ . Corollaries include the decidability of the two quantifier theory of $\scr{D}_{h}$ and the undecidability of its three quantifier theory. The key tool in the proof is a (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Applications of iterated perfect set forcing.Marcia J. Groszek - 1988 - Annals of Pure and Applied Logic 39 (1):19-53.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Forcing and reducibilities. III. forcing in fragments of set theory.Piergiorgio Odifreddi - 1983 - Journal of Symbolic Logic 48 (4):1013-1034.
    Download  
     
    Export citation  
     
    Bookmark   2 citations