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

DOI10.1007/S00153-022-00845-3MaRDI QIDQ6315592arXivWikidataFDO

Authors Amitayu Banerjee

Publication date 14 March 2019

Published in arXiv

Full work available at URL https://doi.org/10.1007/S00153-022-00845-3

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Consistency and independence results (03E35) Large cardinals (03E55)

arXiv classification

math.LO

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 $V$ is a model of ZFC, then $D{C}_{<kappa}$ can be preserved in the symmetric extension of $V$ in terms of symmetric system $langlemathbbP,mathcalG,mathcalFangle$, if $mathbbP$ is $kappa$-distributive and $mathcalF$ is $kappa$-complete. Further we observe that if $V$ is a model of ZF + $D{C}_{kappa}$, then $D{C}_{<kappa}$ can be preserved in the symmetric extension of $V$ in terms of symmetric system $langlemathbbP,mathcalG,mathcalFangle$, if $mathbbP$ is $kappa$-strategically closed and $mathcalF$ is $kappa$-complete.

This page was built for publication: Combinatorial Properties and Dependent choice in symmetric extensions based on L\'{e}vy Collapse

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6315592)