Switch to: Citations

Add references

You must login to add references.
  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  
  • Disjoint Borel functions.Dan Hathaway - 2017 - Annals of Pure and Applied Logic 168 (8):1552-1563.
    Download  
     
    Export citation  
     
    Bookmark   2 citations