Abstract

We work with symmetric extensions based on Lévy collapse and extend a few results of Apter, Cody, and Koepke. We prove a conjecture of Dimitriou from her Ph.D. thesis. We also observe that if V is a model of $$\textsf {ZFC}$$ ZFC, then $$\textsf {DC}_{<\kappa }$$ DC < κ can be preserved in the symmetric extension of V in terms of symmetric system $$\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle $$ ⟨ P, G, F ⟩, if $${\mathbb {P}}$$ P is $$\kappa $$ κ -distributive and $${\mathcal {F}}$$ F is $$\kappa $$ κ -complete. Further we observe that if $$\delta <\kappa $$ δ < κ and V is a model of $$\textsf {ZF}+\textsf {DC}_{\delta }$$ ZF + DC δ, then $$\textsf {DC}_{\delta }$$ DC δ can be preserved in the symmetric extension of V in terms of symmetric system $$\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle $$ ⟨ P, G, F ⟩, if $${\mathbb {P}}$$ P is ($$\delta +1$$ δ + 1 )-strategically closed and $${\mathcal {F}}$$ F is $$\kappa $$ κ -complete.