1,978 research outputs found

    Combinatorial Properties and Dependent choice in symmetric extensions based on L\'{e}vy Collapse

    Get PDF
    We work with symmetric extensions based on L\'{e}vy Collapse and extend a few results of Arthur Apter. We prove a conjecture of Ioanna Dimitriou from her P.h.d. thesis. We also observe that if VV is a model of ZFC, then DC<κDC_{<\kappa} can be preserved in the symmetric extension of VV in terms of symmetric system ⟨P,G,F⟩\langle \mathbb{P},\mathcal{G},\mathcal{F}\rangle, if P\mathbb{P} is κ\kappa-distributive and F\mathcal{F} is κ\kappa-complete. Further we observe that if VV is a model of ZF + DCκDC_{\kappa}, then DC<κDC_{<\kappa} can be preserved in the symmetric extension of VV in terms of symmetric system ⟨P,G,F⟩\langle \mathbb{P},\mathcal{G},\mathcal{F}\rangle, if P\mathbb{P} is κ\kappa-strategically closed and F\mathcal{F} is κ\kappa-complete.Comment: Revised versio
    • …
    corecore