4 found
  1.  19
    Coherent Adequate Forcing and Preserving CH.John Krueger & Miguel Angel Mota - 2015 - Journal of Mathematical Logic 15 (2):1550005.
    We develop a general framework for forcing with coherent adequate sets on [Formula: see text] as side conditions, where [Formula: see text] is a cardinal of uncountable cofinality. We describe a class of forcing posets which we call coherent adequate type forcings. The main theorem of the paper is that any coherent adequate type forcing preserves CH. We show that there exists a forcing poset for adding a club subset of [Formula: see text] with finite conditions while preserving CH, solving (...)
    Direct download (9 more)  
    Export citation  
    Bookmark   6 citations  
  2.  11
    Separating Club-Guessing Principles in the Presence of Fat Forcing Axioms.David Asperó & Miguel Angel Mota - 2016 - Annals of Pure and Applied Logic 167 (3):284-308.
  3.  9
    Baumgartnerʼs Conjecture and Bounded Forcing Axioms.David Asperó, Sy-David Friedman, Miguel Angel Mota & Marcin Sabok - 2013 - Annals of Pure and Applied Logic 164 (12):1178-1186.
  4.  2
    Retraction – Measuring Club-Sequences Together with the Continuum Large.David Asperó & Miguel Angel Mota - 2022 - Journal of Symbolic Logic 87 (2):870-870.
    Direct download (2 more)  
    Export citation