Switch to: References

Add citations

You must login to add citations.
  1. Inner-Model Reflection Principles.Neil Barton, Andrés Eduardo Caicedo, Gunter Fuchs, Joel David Hamkins, Jonas Reitz & Ralf Schindler - forthcoming - Studia Logica:1-23.
    We introduce and consider the inner-model reflection principle, which asserts that whenever a statement \\) in the first-order language of set theory is true in the set-theoretic universe V, then it is also true in a proper inner model \. A stronger principle, the ground-model reflection principle, asserts that any such \\) true in V is also true in some non-trivial ground model of the universe with respect to set forcing. These principles each express a form of width reflection in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Inner Model Theoretic Geology.Gunter Fuchs & Ralf Schindler - 2016 - Journal of Symbolic Logic 81 (3):972-996.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Set-Theoretic Blockchains.Miha E. Habič, Joel David Hamkins, Lukas Daniel Klausner, Jonathan Verner & Kameryn J. Williams - forthcoming - Archive for Mathematical Logic:1-33.
    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  
  • Infinite Forcing and the Generic Multiverse.Giorgio Venturi - forthcoming - Studia Logica:1-14.
    In this article we present a technique for selecting models of set theory that are complete in a model-theoretic sense. Specifically, we will apply Robinson infinite forcing to the collections of models of ZFC obtained by Cohen forcing. This technique will be used to suggest a unified perspective on generic absoluteness principles.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • The Long Extender Algebra.Ralf Schindler - 2018 - Archive for Mathematical Logic 57 (1-2):73-82.
    Generalizing Woodin’s extender algebra, cf. e.g. Steel Handbook of set theory, Springer, Berlin, 2010), we isolate the long extender algebra as a general version of Bukowský’s forcing, cf. Bukovský, in the presence of a supercompact cardinal.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Downward Directed Grounds Hypothesis and Very Large Cardinals.Toshimichi Usuba - 2017 - Journal of Mathematical Logic 17 (2):1750009.
    A transitive model M of ZFC is called a ground if the universe V is a set forcing extension of M. We show that the grounds ofV are downward set-directed. Consequently, we establish some fundamental theorems on the forcing method and the set-theoretic geology. For instance, the mantle, the intersection of all grounds, must be a model of ZFC. V has only set many grounds if and only if the mantle is a ground. We also show that if the universe (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • On a Class of Maximality Principles.Daisuke Ikegami & Nam Trang - 2018 - Archive for Mathematical Logic 57 (5-6):713-725.
    We study various classes of maximality principles, \\), introduced by Hamkins :527–550, 2003), where \ defines a class of forcing posets and \ is an infinite cardinal. We explore the consistency strength and the relationship of \\) with various forcing axioms when \. In particular, we give a characterization of bounded forcing axioms for a class of forcings \ in terms of maximality principles MP\\) for \ formulas. A significant part of the paper is devoted to studying the principle MP\\) (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Superstrong and Other Large Cardinals Are Never Laver Indestructible.Joan Bagaria, Joel David Hamkins, Konstantinos Tsaprounis & Toshimichi Usuba - 2016 - Archive for Mathematical Logic 55 (1-2):19-35.
  • Varsovian Models I.Grigor Sargsyan & Ralf Schindler - 2018 - Journal of Symbolic Logic 83 (2):496-528.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  • Extendible Cardinals and the Mantle.Toshimichi Usuba - 2019 - Archive for Mathematical Logic 58 (1-2):71-75.
    The mantle is the intersection of all ground models of V. We show that if there exists an extendible cardinal then the mantle is the smallest ground model of V.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Subcomplete Forcing Principles and Definable Well-Orders.Gunter Fuchs - 2018 - Mathematical Logic Quarterly 64 (6):487-504.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • The Grounded Martin's Axiom.Miha E. Habič - forthcoming - Mathematical Logic Quarterly.
    We introduce a variant of Martin's axiom, called the grounded Martin's axiom, or math formula, which asserts that the universe is a c.c.c. forcing extension in which Martin's axiom holds for posets in the ground model. This principle already implies several of the combinatorial consequences of math formula. The new axiom is shown to be consistent with the failure of math formula and a singular continuum. We prove that math formula is preserved in a strong way when adding a Cohen (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Hod, V and the Gch.Mohammad Golshani - 2017 - Journal of Symbolic Logic 82 (1):224-246.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark