Switch to: References

Citations of:

The Hyperuniverse Project and Maximality

Basel, Switzerland: Birkhäuser (2018)

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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • An axiomatic approach to forcing in a general setting.Rodrigo A. Freire & Peter Holy - 2022 - Bulletin of Symbolic Logic 28 (3):427-450.
    The technique of forcing is almost ubiquitous in set theory, and it seems to be based on technicalities like the concepts of genericity, forcing names and their evaluations, and on the recursively defined forcing predicates, the definition of which is particularly intricate for the basic case of atomic first order formulas. In his [3], the first author has provided an axiomatic framework for set forcing over models of $\mathrm {ZFC}$ that is a collection of guiding principles for extensions over which (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark