Switch to: References

Add citations

You must login to add citations.
  1. Forcings constructed along morasses.Bernhard Irrgang - 2011 - Journal of Symbolic Logic 76 (4):1097-1125.
    We further develop a previously introduced method of constructing forcing notions with the help of morasses. There are two new results: (1) If there is a simplified (ω 1 , 1)-morass, then there exists a ccc forcing of size ω 1 that adds an ω 2 -Suslin tree. (2) If there is a simplified (ω 1 , 2)-morass, then there exists a ccc forcing of size ω 1 that adds a 0-dimensional Hausdorff topology τ on ω 3 which has spread (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On the existence of strong chains in ℘(ω1)/fin.Piotr Koszmider - 1998 - Journal of Symbolic Logic 63 (3):1055 - 1062.
    $(X_\alpha: \alpha is a strong chain in ℘(ω 1 )/Fin if and only if X β - X α is finite and X α - X β is uncountable for each $\beta . We show that it is consistent that a strong chain in ℘(ω 1 ) exists. On the other hand we show that it is consistent that there is a strongly almost-disjoint family in ℘(ω 1 ) but no strong chain exists: □ ω 1 is used to construct (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • On constructions with 2-cardinals.Piotr Koszmider - 2017 - Archive for Mathematical Logic 56 (7-8):849-876.
    We propose developing the theory of consequences of morasses relevant in mathematical applications in the language alternative to the usual one, replacing commonly used structures by families of sets originating with Velleman’s neat simplified morasses called 2-cardinals. The theory of related trees, gaps, colorings of pairs and forcing notions is reformulated and sketched from a unifying point of view with the focus on the applicability to constructions of mathematical structures like Boolean algebras, Banach spaces or compact spaces. The paper is (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Mitchell-inspired forcing, with small working parts and collections of models of uniform size as side conditions, and gap-one simplified morasses.Charles Morgan - 2022 - Journal of Symbolic Logic 87 (1):392-415.
    We show that a $$ -simplified morass can be added by a forcing with working parts of size smaller than $\kappa $. This answers affirmatively the question, asked independently by Shelah and Velleman in the early 1990s, of whether it is possible to do so.Our argument use a modification of a technique of Mitchell’s for adding objects of size $\omega _2$ in which collections of models – all of equal, countable size – are used as side conditions. In our modification, (...)
    Download  
     
    Export citation  
     
    Bookmark