English

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

Logic 2022-11-11 v4

Abstract

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.

Cite

@article{arxiv.1903.05945,
  title  = {Combinatorial Properties and Dependent choice in symmetric extensions based on L\'{e}vy Collapse},
  author = {Amitayu Banerjee},
  journal= {arXiv preprint arXiv:1903.05945},
  year   = {2022}
}

Comments

Revised version

R2 v1 2026-06-23T08:07:58.931Z