Switch to: Citations

Add references

You must login to add references.
  1. Matrix Iterations and Cichon’s Diagram.Diego Alejandro Mejía - 2013 - Archive for Mathematical Logic 52 (3-4):261-278.
    Using matrix iterations of ccc posets, we prove the consistency with ZFC of some cases where the cardinals on the right hand side of Cichon’s diagram take two or three arbitrary values (two regular values, the third one with uncountable cofinality). Also, mixing this with the techniques in J Symb Log 56(3):795–810, 1991, we can prove that it is consistent with ZFC to assign, at the same time, several arbitrary regular values on the left hand side of Cichon’s diagram.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Template Iterations with Non-Definable Ccc Forcing Notions.Diego A. Mejía - 2015 - Annals of Pure and Applied Logic 166 (11):1071-1109.
  • Cardinal Characteristics, Projective Wellorders and Large Continuum.Vera Fischer, Sy David Friedman & Lyubomyr Zdomskyy - 2013 - Annals of Pure and Applied Logic 164 (7-8):763-770.
    We extend the work of Fischer et al. [6] by presenting a method for controlling cardinal characteristics in the presence of a projective wellorder and 2ℵ0>ℵ2. This also answers a question of Harrington [9] by showing that the existence of a Δ31 wellorder of the reals is consistent with Martinʼs axiom and 2ℵ0=ℵ3.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Cardinal Characteristics and Projective Wellorders.Vera Fischer & Sy David Friedman - 2010 - Annals of Pure and Applied Logic 161 (7):916-922.
    Using countable support iterations of S-proper posets, we show that the existence of a definable wellorder of the reals is consistent with each of the following: , and.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Projective Wellorders and Mad Families with Large Continuum.Vera Fischer, Sy David Friedman & Lyubomyr Zdomskyy - 2011 - Annals of Pure and Applied Logic 162 (11):853-862.
    We show that is consistent with the existence of a -definable wellorder of the reals and a -definable ω-mad subfamily of [ω]ω.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Iterations of Boolean Algebras with Measure.Anastasis Kamburelis - 1989 - Archive for Mathematical Logic 29 (1):21-28.
    We consider a classM of Boolean algebras with strictly positive, finitely additive measures. It is shown thatM is closed under iterations with finite support and that the forcing via such an algebra does not destroy the Lebesgue measure structure from the ground model. Also, we deduce a simple characterization of Martin's Axiom reduced to the classM.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Set Theory: On the Structure of the Real Line.T. Bartoszyński & H. Judah - 1999 - Studia Logica 62 (3):444-445.