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}\), then \(\textsf {DC}_{<\kappa }\) can be preserved in the symmetric extension of V in terms of symmetric system \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle \), if \({\mathbb {P}}\) is \(\kappa \)distributive and \({\mathcal {F}}\) is \(\kappa \)complete. Further we observe that if \(\delta <\kappa \) and V is a model of \(\textsf {ZF}+\textsf {DC}_{\delta }\), then \(\textsf {DC}_{\delta }\) can be preserved in the symmetric extension of V in terms of symmetric system \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle \), if \({\mathbb {P}}\) is (\(\delta +1\))strategically closed and \({\mathcal {F}}\) is \(\kappa \)complete.
Introduction
Grigorieff [26] proved that symmetric extensions in terms of symmetric system \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle \)^{Footnote 1} are intermediate models of the form HOD\((V[a])^{V[G]}\) as a varies over V[G]. Apter, Henle, Cody, and Koepke constructed several models of \(\textsf {ZF}\) in terms of hereditarily definable sets based on Lévy Collapse (cf. [1, 5, 7, 10, 14]). The purpose of this note is to translate the arguments of a few of those choiceless model constructions to symmetric extensions in terms of symmetric system \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle \) and extend a few published results. In particular, we prove the following.

(1)
We prove the failure of \(\textsf {AC}_{\kappa }\) (Every family of \(\kappa \) nonempty sets admits a choice function) in the symmetric extension of [35, Theorem 4.1]. Moreover, we study an argument to preserve the supercompactness of \(\kappa \) in the symmetric model following the methods of [29].

(2)
We reduce the large cardinal assumption of [1, Theorem 2] and [1, Theorem 3].

(3)
We observe an infinitary Chang conjecture in the choiceless model constructed in [7, Theorem 11]. Moreover, we prove that \(\aleph _{\omega _{1}}\) is an almost Ramsey cardinal in the model.

(4)
Fix an arbitrary \(n_{0}\in \omega \). We observe that if \(\langle S_{k}: 1\le k <\omega \rangle \) is a sequence of stationary sets such that \(S_{k}\subseteq \aleph _{n_{0}+2(k+1)}\) for every \(1\le k <\omega \), then \(\langle S_{k}: 1\le k <\omega \rangle \) is mutually stationary in the choiceless model constructed in [14, Theorem 1]. We also observe an alternating sequence of measurable and nonmeasurable cardinals in the model. Moreover, we observe that \(\aleph _{\omega }\) is an almost Ramsey cardinal in the model.
Secondly, we prove a conjecture of Dimitriou related to the failure of Dependent Choice–or \(\textsf {DC}\)–in a symmetric extension based on finite support products of collapsing functions, from [21]. We also study new lemmas related to preserving \(\textsf {DC}\) in symmetric extensions inspired by [37, Lemma 1]. In particular, we observe the following.

(1)
Let V be a model of \(\textsf {ZFC}\). If \({\mathbb {P}}\) is \(\kappa \)distributive and \({\mathcal {F}}\) is \(\kappa \)complete, then \(\textsf {DC}_{<\kappa }\) is preserved in the symmetric extension of V with respect to the symmetric system \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle \).

(2)
Let \(\delta <\kappa \) and V be a model of \(\textsf {ZF}+\textsf {DC}_{\delta }\) where the Axiom of Choice (\(\textsf {AC}\)) might fail. If \({\mathbb {P}}\) is (\(\delta +1\))strategically closed and \({\mathcal {F}}\) is \(\kappa \)complete, then \(\textsf {DC}_{\delta }\) is preserved in the symmetric extension of V with respect to the symmetric system \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle \).
Preserving dependent choice
Karagila [37, Lemma 1] proved that if \({\mathbb {P}}\) is \(\kappa \)closed and \({\mathcal {F}}\) is \(\kappa \)complete then \(\textsf {DC}_{<\kappa }\) is preserved in the symmetric extension in terms of symmetric system \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle \). We observe that ‘\({\mathbb {P}}\) is \(\kappa \)closed’ can be replaced by ‘\({\mathbb {P}}\) is \(\kappa \)distributive’ in [37, Lemma 1]. This slightly generalize [37, Lemma 1], since there are \(\kappa \)strategically closed forcing notions which are not \(\kappa \)closed^{Footnote 2} and \(\kappa \)distributivity is weaker than \(<\kappa \)strategic closure.^{Footnote 3}
Observation 1.1
(Lemma 3.2) Let V be a model of \(\textsf {ZFC}\). If \({\mathbb {P}}\) is \(\kappa \)distributive and \({\mathcal {F}}\) is \(\kappa \)complete, then \(\textsf {DC}_{<\kappa }\) is preserved in the symmetric extension of V with respect to the symmetric system \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle \).
We also observe that even if we start with a model V, which is a model of \(\textsf {ZF}\ +\textsf {DC}_{\delta }\) where \(\textsf {AC}\) might fail, we can still preserve \(\textsf {DC}_{\delta }\) in a symmetric extension of V in certain cases. In particular, we observe the following.
Observation 1.2
(Lemma 3.4) Let \(\delta <\kappa \) and V be a model of \(\textsf {ZF} \ + \textsf {DC}_{\delta }\). If \({\mathbb {P}}\) is (\(\delta +1\))strategically closed and \({\mathcal {F}}\) is \(\kappa \)complete, then \(\textsf {DC}_{\delta }\) is preserved in the symmetric extension of V with respect to the symmetric system \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle \).
On a question of Apter
Woodin asked in the context of \(\textsf {ZFC}\), that if \(\kappa \) is strongly compact and \(\textsf {GCH}\) holds below \(\kappa \), then must \(\textsf {GCH}\) hold everywhere? The problem is still open in the context of \(\textsf {ZFC}\). One variant of this question is if \(\textsf {GCH}\) can fail at every limit cardinal less than or equal to a strongly compact cardinal \(\kappa \) where as \(\textsf {GCH}\) holds above \(\kappa ^{+}\). Apter answered this in the context of \(\textsf {ZF}\). Apter [9, Theorem 3] constructed a model where \(\kappa \) is a regular limit cardinal and a supercompact cardinal, and \(\textsf {GCH}\) holds for a limit \(\delta \) if and only if \(\delta >\kappa \). In that model the Countable Choice–or \(\textsf {AC}_{\omega }\)– fails. At the end of [9], Apter asked the following question.
Question 1.3
Is it possible to construct analogs of Theorem 3 in which some weak version of \(\textsf {AC}\) holds ?
The author and Karagila constructed a symmetric extension to answer Question 1.3 in [35, Theorem 4.1].
Theorem 1.4
(cf. [35, Theorem 4.1]) Let V be a model of \(\textsf {ZFC} + \textsf {GCH}\) with a supercompact cardinal \(\kappa \). Then there is a symmetric extension in which \(\textsf {DC}_{<\kappa }\) holds, \(\kappa \) is a regular limit cardinal and supercompact, and \(\textsf {GCH}\) holds for a limit cardinal \(\delta \) if and only if \(\delta >\kappa \).
For the sake of convenience, we call the symmetric extension constructed in [35, Theorem 4.1] as \({\mathcal {N}}_{1}\). We study an argument to preserve the supercompactness of \(\kappa \) in \({\mathcal {N}}_{1}\) applying the methods of [29] and prove the following in Sect. 4.
Theorem 1.5
In \({\mathcal {N}}_{1}\), \(\textsf {AC}_{\kappa }\) fails.
Proving Dimitriou’s conjecture
Dimitriou constructed a symmetric extension based on finite support products of collapsing functions. At the end of [21, section 1.4], Dimitriou conjectured that \(\textsf {DC}\) would fail in the symmetric extension (cf. [21, Question 1, Chapter 4]). We prove the conjecture. For the sake of convenience, we call this model as Dimitriou’s model and prove the following in Sect. 5.
Theorem 1.6
In Dimitriou’s model, \(\textsf {AC}_{\omega }\) fails.
Reducing the assumption of supercompactness to strong compactness
Apter and Cody [1, Theorem 2] obtained a model of \(\textsf {ZF}\ +\lnot \ \textsf {AC}_{\omega }\) where \(\aleph _{1}\) and \(\aleph _{2}\) are both singular of cofinality \(\omega \), and there is a sequence of distinct subsets of \(\aleph _{1}\) of length equal to any predefined ordinal, assuming a supercompact cardinal \(\kappa \). In Sect. 6, we observe that applying a recent result of Usuba (cf. [4, Theorem 3.1]) followed by working with a model of \(\textsf {ZF}\ +\lnot \textsf {AC}_{\omega }\) constructed using strongly compact Prikry forcing , it is possible to reduce the assumption of a supercompact cardinal \(\kappa \) to a strongly compact cardinal \(\kappa \).
Observation 1.7
Suppose that \(\kappa \) is a strongly compact cardinal, \(\textsf {GCH}\) holds, and \(\theta \) is an ordinal. Then there is a model of \(\textsf {ZF}\ +\lnot \ \textsf {AC}_{\omega }\) in which \(cf(\aleph _{1})=cf(\aleph _{2})=\omega \), and there is a sequence of distinct subsets of \(\aleph _{1}\) of length \(\theta \).
Similarly, we reduce the large cardinal assumption of [1, Theorem 3] from a supercompact cardinal to a strongly compact cardinal. Apter and Cody [1, Theorem 3] obtained a model of \(\textsf {ZF}\ +\lnot \textsf {AC}_{\omega }\) where \(\aleph _{\omega }\) and \(\aleph _{\omega +1}\) are both singular with \(\omega \le cf(\aleph _{\omega +1})<\aleph _{\omega }\), and there is a sequence of distinct subsets of \(\aleph _{\omega }\) of length equal to any predefined ordinal, assuming a supercompact cardinal \(\kappa \). We prove the following in Sect. 6.
Observation 1.8
Suppose that \(\kappa \) is a strongly compact cardinal, \(\textsf {GCH}\) holds, and \(\theta \) is an ordinal. Then there is a model of \(\textsf {ZF}\ +\lnot \ \textsf {AC}_{\omega }\) in which \(\aleph _{\omega }\) and \(\aleph _{\omega +1}\) are both singular with \(\omega \le cf(\aleph _{\omega +1})<\aleph _{\omega }\), and there is a sequence of distinct subsets of \(\aleph _{\omega }\) of length \(\theta \).
Infinitary Chang conjecture from a measurable cardinal
Assuming a measurable cardinal, Apter and Koepke constructed a model \({\mathcal {N}}\) of \(\textsf {ZF}\) based on Lévy collapse in [7, Theorem 11]. In \({\mathcal {N}}\), \(\omega _{1}\) is singular, and \(\aleph _{\omega _{1}}\) is a Rowbottom cardinal carrying a Rowbottom filter. They mentioned that in \({\mathcal {N}}\), \(\textsf {AC}_{\omega }\) fails because of the singularity of \(\omega _{1}\). In Sect. 7, we observe an infinitary Chang conjecture in a symmetric extension, which is very similar to \({\mathcal {N}}\), except we consider a finite support product construction. We use the observation that it is possible to force a coherent sequence of Ramsey cardinals after performing Prikry forcing on a normal measure over a measurable cardinal \(\kappa \) (cf. [7, Theorem 3]). We also use the observation that an infinitary Chang conjecture can be established in a symmetric model, assuming a coherent sequence of Ramsey cardinals. As in the model of [7, Theorem 11], \(\omega _{1}\) is singular and therefore \(\textsf {AC}_{\omega }\) fails.
Theorem 1.9
Let \(V'\) be a model of \(\textsf {ZFC}\) where there is a measurable cardinal. Then there is a generic extension V of \(V'\), and a symmetric extension V(G) of V such that \(\omega _{1}\) is singular in V(G). Moreover, an infinitary Chang conjecture holds in V(G).
Similarly, we also observe an infinitary Chang conjecture in the model \({\mathcal {N}}\). For the sake of convenience, we call the model \({\mathcal {N}}\) as Apter and Koepke’s model and prove the following in Sect. 7.
Theorem 1.10
An infinitary Chang conjecture holds in Apter and Koepke’s model. Moreover, \(\aleph _{\omega _{1}}\) is an almost Ramsey cardinal in the model.
Mutual stationarity property from a sequence of measurable cardinals
Foreman and Magidor [23] introduced the idea of mutual stationarity. They asked if there is a model of set theory in which every sequence of stationary subsets of the \(\aleph _{n}\)’s of a fixed cofinality is mutually stationary (cf. [23, page 290]). Assuming an \(\omega \)sequence of supercompact cardinals, Apter [10, Theorem 1] constructed a model of \(\textsf {ZF}+\textsf {DC}\) in which if \(\langle S_{n} : 1 \le n<\omega \rangle \) is a sequence of stationary sets such that \(S_{n} \subseteq \aleph _{n}\) for every \(1 \le n <\omega \), then \(\langle S_{n} : 1 \le n<\omega \rangle \) is mutually stationary. Apter [14, Theorem 1] further obtained a similar model based on Lévy collapse as constructed in [10], where \(\aleph _{\omega }\) carries a Rowbottom filter and \(\textsf {DC}_{\aleph _{{\textsf {n}}_{{\textsf {0}}}}}\) holds for any arbitrary \(n_{0}\in \omega \), from an \(\omega \)sequence of measurable cardinals. For the sake of convenience, we fix an arbitrary \(n_{0}\in \omega \) in the ground model V, call the model from [14, Theorem 1] as \({\mathcal {N}}_{n_{0}}\), and prove the following in Sect. 8.
Observation 1.11
The following hold in the model \({\mathcal {N}}_{n_{0}}\).

(1)
For each \(1\le k<\omega \), \(\aleph _{n_{0}+2(k+1)}\) is a measurable cardinal and \(\aleph _{n_{0}+2k+1}\) is not a measurable cardinal. In particular, for each \(1\le k<\omega \), there are no unifrom ultrafilters on \(\aleph _{n_{0}+2k+1}\).

(2)
If \(\langle S_{k}: 1\le k <\omega \rangle \) is a sequence of stationary sets such that \(S_{k}\subseteq \aleph _{n_{0}+2(k+1)}\) for every \(1\le k <\omega \), then \(\langle S_{k}: 1\le k <\omega \rangle \) is mutually stationary.

(3)
\(\aleph _{\omega }\) is an almost Ramsey cardinal.
Structure of the paper
Basics
Large cardinals
In this section, we recall the definition of inaccessible cardinals in the context of \(\textsf {ZFC}\) and other large cardinals in the context of \(\textsf {ZF}\). In \(\textsf {ZFC}\), we say \(\kappa \) is a strongly inaccessible cardinal if it is a regular strong limit cardinal where the definition of “strong limit" is that for all \(\alpha <\kappa \), we have \(2^{\alpha }<\kappa \). In the context of \(\textsf {ZF}\), the above definition doesn’t make sense, as \(2^{\alpha }\) may not be wellordered. We refer the reader to [16] for details concerning inaccessible cardinals in the context of \(\textsf {ZF}\). We recall some large cardinal definitions in the context of \(\textsf {ZF}\) from [34].
Definition 2.1
Let \(\kappa \) be an uncountable cardinal.

(1)
The cardinal \(\kappa \) is weakly compact if for all \(f:[\kappa ]^{2}\rightarrow 2\), there is a homogeneous set \(X\subseteq \kappa \) for f of order type \(\kappa \).

(2)
The cardinal \(\kappa \) is Ramsey if for all \(f:[\kappa ]^{<\omega }\rightarrow 2\), there is a homogeneous set \(X\subseteq \kappa \) for f of order type \(\kappa \).

(3)
The cardinal \(\kappa \) is almost Ramsey if for all \(\alpha <\kappa \) and \(f:[\kappa ]^{<\omega }\rightarrow 2\), there is a homogeneous set \(X\subseteq \kappa \) for f having order type \(\alpha \).

(4)
The cardinal \(\kappa \) is \(\mu \)Rowbottom if for all \(\alpha <\kappa \) and \(f:[\kappa ]^{<\omega }\rightarrow \alpha \), there is a homogeneous set \(X\subseteq \kappa \) for f of order type \(\kappa \) such that \(\vert f^{''}[X]^{<\omega }\vert <\mu \). We say that \(\kappa \) is Rowbottom if it is \(\omega _{1}\)Rowbottom. A filter \({\mathcal {F}}\) on \(\kappa \) is a Rowbottom filter on \(\kappa \) if for any \(f:[\kappa ]^{<\omega }\rightarrow \lambda \), where \(\lambda <\kappa \), there is a set \(X\in {\mathcal {F}}\) such that \(\vert f^{''}[X]^{<\omega }\vert \le \omega \).

(5)
The cardinal \(\kappa \) is measurable if there is a \(\kappa \)complete free ultrafilter on \(\kappa \). A filter \({\mathcal {F}}\) on a cardinal \(\kappa \) is normal if it is closed under diagonal intersections:
$$\begin{aligned} \hbox {If }X_{\alpha }\in {\mathcal {F}}\hbox { for all }\alpha<\kappa ,\hbox { then }\Delta _{\alpha <\kappa }X_{\alpha }\in {\mathcal {F}}. \end{aligned}$$
In \(\textsf {ZF}\) we have the following lemma.
Lemma 2.2
(cf. [21, Lemma 0.8]) An ultrafilter \({\mathcal {U}}\) over \(\kappa \) is normal if and only if for every regressive \(f:\kappa \rightarrow \kappa \) there is an \(X\in {\mathcal {U}}\) such that f is constant on X.
Thus, we say an ultrafilter \({\mathcal {U}}\) over \(\kappa \) is normal if for every regressive \(f:\kappa \rightarrow \kappa \) there is an \(X\in {\mathcal {U}}\) such that f is constant on X.

(6)
For a set A, we say \({\mathcal {U}}\) is a fine measure on \({\mathcal {P}}_{\kappa }(A)\) if \({\mathcal {U}}\) is a \(\kappa \)complete ultrafilter and for any \(i\in A\), \(\{x\in {\mathcal {P}}_{\kappa }(A): i\in x\}\in {\mathcal {U}}\). We say that \({\mathcal {U}}\) is a normal measure on \({\mathcal {P}}_{\kappa }(A)\) if \({\mathcal {U}}\) is a fine measure and if \(f:{\mathcal {P}}_{\kappa }(A)\rightarrow A\) is such that \(f(X)\in X\) for a set in \({\mathcal {U}}\), then f is constant on a set in \({\mathcal {U}}\). The cardinal \(\kappa \) is \(\lambda \)strongly compact if there is a fine measure on \( {\mathcal {P}}_{\kappa }(\lambda )\); it is strongly compact if it is \(\lambda \)strongly compact for all \(\kappa \le \lambda \).

(7)
The cardinal \(\kappa \) is \(\lambda \)supercompact if there is a normal measure on \( {\mathcal {P}}_{\kappa }(\lambda )\); it is supercompact if it is \(\lambda \)supercompact for all \(\kappa \le \lambda \).
Remark 2.3
We note that the definition of supercompact (similarly strongly compact) is given in the terms of ultrafilters, which is weaker than the definition of supercompact in terms of elementary embedding due to Woodin [45, Definition 220] (e.g. \(\aleph _{1}\) can be supercompact or strongly compact if we consider the definition of supercompact or strongly compact in terms of ultrafilters, but \(\aleph _{1}\) can not be the critical point of an elementary embedding (cf. [29])).
Remark 2.4
Ikegami and Trang [30, section 2] defined that an ultrafilter \({\mathcal {U}}\) on \({\mathcal {P}}_{\kappa }X\) is normal if for any set \(A \in {\mathcal {U}}\) and \(f : A \rightarrow {\mathcal {P}}_{\kappa }X\) with \(\emptyset \not = f(\sigma ) \subseteq \sigma \) for all \(\sigma \in A\), there is an \(x_{0} \in X\) such that for \({\mathcal {U}}\)measure one many \(\sigma \) in A, \(x_{0}\in f(\sigma )\). They note that their definition of normality is equivalent to the closure under diagonal intersections in \(\textsf {ZF}\), while it may not be equivalent to the definition of normality in our sense without \(\textsf {AC}\).
From now on, all our inaccessible cardinals are strongly inaccessible. We recall that a limit of Ramsey cardinals is an almost Ramsey cardinal in \(\textsf {ZF}\) (cf. [6, Proposition 1]).
Forcing extension and Lévy–Solovay theorem
Let \({\mathbb {P}}\) be a forcing notion, by which we mean a partially ordered set with a maximum element 1. For \(p, q \in {\mathbb {P}}\), we say that p is stronger than q or p extends q if \(p \le q\). Let G be a \({\mathbb {P}}\)generic filter over V and \(V^{{\mathbb {P}}}\) be a class of all \({\mathbb {P}}\)names defined recursively as follows: if \(\tau \) is a set, \(\tau \in V^{{\mathbb {P}}}\) if and only if \(\tau \subseteq V^{{\mathbb {P}}} \times {\mathbb {P}}\). The interpretation of a \({\mathbb {P}}\)name \(\tau \) by G is defined recursively as \(\tau ^G = \{\sigma ^{G} : \exists p \in G((\sigma , p) \in \tau )\}\) and the generic extension is defined as \(V[G]=\{\tau ^{G} : \tau \in V^{{\mathbb {P}}}\}\). We recall that V[G] is the smallest transitive model of \(\textsf {ZFC}\) which has the same ordinals as V and contains both V and G (cf. [39]). If \({\mathbb {P}}\) is our forcing notion and G is a \({\mathbb {P}}\)generic filter over V, we will abuse notation somewhat and use both \(V^{{\mathbb {P}}}\) and V[G] to denote the generic extension of V. We state a part of Lévy–Solovay Theorem (cf. [31, Theorem 21.2]) in \(\textsf {ZFC}\).
Theorem 2.5
Let \(\kappa \) be an infinite cardinal, and let \({\mathbb {P}}\) be a forcing notion of size less than \(\kappa \). Let G be a \({\mathbb {P}}\)generic filter over V.

(1)
If \(\kappa \) is Ramsey in V, then \(\kappa \) is Ramsey in V[G].

(2)
If \(\kappa \) is measurable with a \(\kappa \)complete ultrafilter \({\mathcal {U}}\) in V, then \(\kappa \) is measurable with a \(\kappa \)complete ultrafilter \({\mathcal {U}}_1=\{X\subseteq \kappa : X\in V[G],\text {and there is a } Y\in {\mathcal {U}} \text { such that }Y\subseteq X\}\) defined in V[G] generated by \({\mathcal {U}}\) in V[G].
Proof
(1) follows from [31, Theorem 21.2] and (2) follows from [40, Theorem 10]. \(\square \)
Symmetric extension
Symmetric extensions are submodels of the generic extension containing the ground model, where \(\textsf {AC}\) can consistently fail. Let \({\mathbb {P}}\) be a forcing notion, \({\mathcal {G}}\) be a group of automorphisms of \({\mathbb {P}}\) and \({\mathcal {F}}\) be a normal filter of subgroups over \({\mathcal {G}}\). We recall the following Symmetry Lemma from [31].
Lemma 2.6
(The Symmetry Lemma; cf. [31, Lemma 14.37]) Let \({\mathbb {P}}\) be a forcing notion, \(\varphi \) be a formula of the forcing language with n free variables and let \(\sigma _1,\sigma _2,\ldots ,\sigma _n\) be \({\mathbb {P}}\)names. If a is an automorphism of \({\mathbb {P}}\), then \(p\Vdash \varphi (\sigma _1,\sigma _2,\ldots ,\sigma _n) \Longleftrightarrow a(p)\Vdash \varphi (a(\sigma _1),a(\sigma _2),\ldots ,a(\sigma _n))\).
For \(\tau \in V^{{\mathbb {P}}}\), we denote its symmetric group with respect to \({\mathcal {G}}\) by \(sym^{{\mathcal {G}}}(\tau ) =\{g\in \mathcal G : g\tau = \tau \}\) and say \(\tau \) is symmetric with respect to \({\mathcal {F}}\) if \(sym^{{\mathcal {G}}}(\tau )\in {\mathcal {F}}\). Let \(HS^{\mathcal {F}}\) be the class of all hereditary symmetric names. That is, recursively for \(\tau \in V^{{\mathbb {P}}}\),
We define the symmetric extension of V with respect to \(\mathcal F\) as \(V(G)^{\mathcal {F}} = \{\tau ^G : \tau \in HS^{\mathcal {F}}\}\). For the sake of our convenience we omit the superscript \({\mathcal {F}}\) sometimes and call \(V(G)^{\mathcal {F}}\) as V(G), \(HS^{\mathcal {F}}\) as HS, and \(sym^{\mathcal {F}}(\tau )\) as \(sym(\tau )\).
Definition 2.7
(Symmetric system; cf. [27, Definition 2.1]) We say \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle \) is a symmetric system if \({\mathbb {P}}\) is a forcing notion, \({\mathcal {G}}\) is a group of automorphisms of \({\mathbb {P}}\), and \({\mathcal {F}}\) is a normal filter of subgroups over \({\mathcal {G}}\).
Definition 2.8
(Tenacious system; cf. [36, Definition 4.6]) Let \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle \) be a symmetric system. A condition \(p\in {\mathbb {P}}\) is \({\mathcal {F}}\)tenacious if \(\{\pi \in {\mathcal {G}} : \pi (p)= p\}\in {\mathcal {F}}\). We say \({\mathbb {P}}\) is \({\mathcal {F}}\)tenacious if there is a dense subset of \({\mathcal {F}}\)tenacious conditions. We say \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle \) is a tenacious system if \({\mathbb {P}}\) is \({\mathcal {F}}\)tenacious.
Karagila and Hayut proved that every symmetric system is equivalent to a tenacious system (cf. [36, Appendix A]). Thus, it is natural to assume tenacity and work with tenacious system. We recall the following theorem which states that the symmetric extension V(G) is a transitive model of \(\textsf {ZF}\).
Theorem 2.9
(cf. [31, Lemma 15.51]) If \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle \) is a symmetric system and G is a \({\mathbb {P}}\)generic filter over V, then V(G) is a transitive model of \(\textsf {ZF}\) and \(V\subseteq V(G)\subseteq V[G]\).
Terminologies
We recall the terminologies like Approximation Lemma, Approximation property, and (\({\mathcal {G}},{\mathcal {I}}\))homogeneous forcing notion, from [21] and [29]. For \(E\subseteq {\mathbb {P}}\), let us define its pointwise stabilizer group to be fix\(_{{\mathcal {G}}}E = \{g\in {\mathcal {G}}:\forall p \in E (g(p)=p)\}\), i.e., it is the set of automorphisms which fix E pointwise. We denote fix\(_{{\mathcal {G}}}E\) by fix E for the sake of convenience.
Definition 2.10
(\({\mathcal {G}}\)symmetry generator; [29, Definition 14]) Let \({\mathbb {P}}\) be a forcing notion and \({\mathcal {G}}\) be a group of automorphisms of \({\mathbb {P}}\). A subset \({\mathcal {I}}\subseteq {\mathcal {P}}({\mathbb {P}})\) is called a \({\mathcal {G}}\)symmetry generator if it consists of upsets, is closed under unions, and if for all \(g\in {\mathcal {G}}\) and \(E\in {\mathcal {I}}\), there is an \(E'\in {\mathcal {I}}\) such that g(fixE)\(g^{1}\supseteq \) fix\(E'\).
We can see that if \({\mathcal {I}}\) is a \({\mathcal {G}}\)symmetry generator, then the set \(\{\)fix\(E: E\in {\mathcal {I}}\}\) generates a normal filter over \({\mathcal {G}}\) (cf. [29, Lemma 15]).
Definition 2.11
Let \({\mathcal {I}}\) be the \({\mathcal {G}}\)symmetry generator, we say \(E\in {\mathcal {I}}\) supports a name \(\sigma \in HS\) if fix\(E\subseteq sym (\sigma \)).
Definition 2.12
(Projectable \({\mathcal {G}}\)symmetry generator; [21, Definition 1.25] & [29, Definition 17]) Let \({\mathbb {P}}\) be a forcing notion, \({\mathcal {G}}\) be a group of automorphisms of \({\mathbb {P}}\), and \({\mathcal {I}}\) be a \({\mathcal {G}}\)symmetry generator. We say \({\mathcal {I}}\) is projectable for the pair (\({\mathbb {P}},{\mathcal {G}}\)) if for every \(p\in {\mathbb {P}}\) and every \(E\in {\mathcal {I}}\), there is a \(p^{*}\in E\) that is minimal (with respect to the partial order) and unique such that \(p^{*}\ge p\). We call \(p\restriction E = p^{*}\) the projection of p to E.
For the rest of this section, let \({\mathbb {P}}\) be a forcing notion, \({\mathcal {G}}\) be a group of automorphisms of \({\mathbb {P}}\), and \({\mathcal {I}}\) be a projectable \({\mathcal {G}}\)symmetry generator for the pair (\({\mathbb {P}},{\mathcal {G}}\)).
Definition 2.13
(Approximation property; [29, Definition 18]) We say that the triple \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {I}}\rangle \) has the approximation property if for any formula \(\varphi \) with n free variables, and names \( \sigma _1,\sigma _2,\ldots ,\sigma _n\in HS\) all with support \(E\in {\mathcal {I}}\), and for any \(p\in {\mathbb {P}}\), \(p\Vdash \varphi (\sigma _1,\sigma _2,\ldots ,\sigma _n)\) implies that \(p\restriction E \Vdash \varphi (\sigma _1,\sigma _2,\ldots ,\sigma _n) \).
Definition 2.14
(\(({\mathcal {G}},{\mathcal {I}})\)homogeneous forcing notion; [21, Definition 1.26] & [29, Definition 19]) We say that \({\mathbb {P}}\) is \(({\mathcal {G}},{\mathcal {I}})\) homogeneous if for every \(E\in {\mathcal {I}}\), every \(p\in {\mathbb {P}}\), and every \(q\in {\mathbb {P}}\) such that \(q\le p\restriction E\), there is an automorphism \(a\in \) fixE such that \(a(p)\parallel q\).
Lemma 2.15
([21, Lemma 1.27] & [29, Lemma 20]) If \({\mathbb {P}}\) is \(({\mathcal {G}},{\mathcal {I}})\)homogeneous, then \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {I}}\rangle \) has the approximation property.
We note that if \(E \in {\mathcal {I}}\), then E itself is a forcing notion (with the same top element as \({\mathbb {P}}\)). So, we can say that set of pairs \(\tau \) is an Ename iff \(\tau \) is a relation and for every \((\sigma , p) \in \tau \), \(\sigma \) is an Ename and \(p \in E\).
Lemma 2.16
(Approximation Lemma; [21, Lemma 1.29] & [29, Lemma 21]) If the triple \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {I}}\rangle \) has the approximation property then for all set of ordinals \(X\in V(G)\), there exists an \(E\in {\mathcal {I}}\) and an Ename for X. Thus, \(X\in V[G\cap E]\).
Homogeneity of forcing notions
We recall the definition of weakly homogeneous and cone homogeneous forcing notion from [20].
Definition 2.17
(Weakly homogeneous forcing notion; [20, Definition 2]) We say a set forcing notion \({\mathbb {P}}\) is weakly homogeneous if and only if for any \(p,q\in {\mathbb {P}}\), there is an automorphism \(a:{\mathbb {P}}\rightarrow {\mathbb {P}}\) such that a(p) and q are compatible.^{Footnote 4}
Definition 2.18
(Cone homogeneous forcing notion; [20, Definition 2]) For \(p\in {\mathbb {P}}\), let Cone(p) denote \(\{r\in {\mathbb {P}}:r\le p\}\), the cone of conditions in \({\mathbb {P}}\) below p. We say a set forcing notion \({\mathbb {P}}\) is cone homogeneous if and only if for any \(p, q\in {\mathbb {P}}\), there exist \(p'\le p\), \(q'\le q,\) and an isomorphism \(\pi : Cone(p')\rightarrow Cone(q')\).
If \({\mathbb {P}}\) is weakly homogeneous, then it is cone homogeneous too (cf. [20, Fact 1]). Also, the finite support products of weakly (cone) homogeneous forcing notions are weakly (cone) homogeneous. A crucial feature of symmetric extensions using weakly (cone) homogeneous forcings are that they can be approximated by certain intermediate submodel where \(\textsf {AC}\) holds.
Failure of weak choice principles
We use \(\textsf {AC}_{\kappa }\) to denote the statement “Every family of \(\kappa \) nonempty sets admits a choice function”. We note that if \(\kappa ^{+}\) is singular, then \(\textsf {AC}_{\kappa }\) fails. This is due to the following well known fact.
Fact 2.19
For all successor cardinal \(\lambda \), \(\textsf {AC}_{\kappa }\) implies \(cf(\lambda )>\kappa \).
We sketch another way of refuting \(\textsf {AC}_{\kappa }\). For sets A and B, we use \(\textsf {AC}_{{\textsf {A}}}({\textsf {B}})\) to denote the statement “for each set X of nonempty subsets of B, if there is an injection from X to A then there is a choice function for X". We recall [21, Lemmas 0.2, 0.3, 0.12].

Under \(\textsf {AC}_{{\textsf {A}}}({\textsf {B}})\), if there is a surjection from B to A, then there is an injection from A to B (cf. [21, Lemma 0.2]).

For every infinite cardinal \(\kappa \), there is a surjection from \({\mathcal {P}}(\kappa )\) onto \(\kappa ^{+}\) in \(\textsf {ZF}\) (cf. [21, Lemma 0.3]).

If \(\kappa \) is measurable with a normal measure or \(\kappa \) is weakly compact and \(\alpha <\kappa \), then there is no injection \(f:\kappa \rightarrow {\mathcal {P}}(\alpha )\) in \(\textsf {ZF}\) (cf. [15, Proposition 0.1], [21, Lemma 0.12]).
The following lemma states that if a successor cardinal \(\kappa \) is either measurable with a normal measure or weakly compact then \(\textsf {AC}_{\kappa }\) fails, which is [15, Corollary 0.3].
Lemma 2.20
Let \(\kappa =\alpha ^{+}\) be a successor cardinal. If \(\kappa \) is measurable with a normal measure or weakly compact then \(\textsf {AC}_{\alpha ^{+}}({\mathcal {P}}(\alpha ))\) fails.
Proof
Let \(\textsf {AC}_{\alpha ^{+}}({\mathcal {P}}(\alpha ))\) holds. We show \(\kappa =\alpha ^{+}\) is neither measurable with a normal measure nor weakly compact. In \(\textsf {ZF}\), there is a surjection from \({\mathcal {P}}(\alpha )\) onto \(\alpha ^{+}\). Now \(\textsf {AC}_{\alpha ^{+}}({\mathcal {P}}(\alpha ))\) implies there is an injection \(f'\) from \(\alpha ^{+}\) to \({\mathcal {P}}(\alpha )\) which states that \(\kappa =\alpha ^{+}\) is neither measurable with a normal measure nor weakly compact. \(\square \)
Preserving dependent choice in symmetric extensions
Dependent Choice, denoted by \(\textsf {DC}\) or \(\textsf {DC}_{\omega }\), is a weaker version of \(\textsf {AC}\) which is strictly stronger^{Footnote 5} than the Countable Choice, denoted by \(\textsf {AC}_{\omega }\). This principle is strong enough to give the basis of analysis as it is equivalent to the Baire Category Theorem which is a fundamental theorem in functional analysis. Further, \(\textsf {DC}\) is equivalent to other important theorems like the countable version of the Downward Löweinheim–Skolem theorem and every tree of height \(\omega \) without a maximum node has an infinite branch etc. On the other hand, \(\textsf {AC}\) has several controversial applications like the existence of a nonLebesgue measurable set of real numbers, Banach–Tarski Paradox and the existence of a wellordering of real numbers whereas \(\textsf {DC}\) does not have such counterintuitive consequences. Thus it is desirable to preserve \(\textsf {DC}\) in symmetric extensions.
For an infinite cardinal \(\kappa \), we denote by \(\textsf {DC}_{\kappa }\) the principle of Dependent Choice for \(\kappa \). This principle states that for every nonempty set X, if R is a binary relation such that for each ordinal \(\alpha <\kappa \), and each \(f:\alpha \rightarrow X\) there is some \(y\in X\) such that f R y, then there is \(f:\kappa \rightarrow X\) such that for each \(\alpha <\kappa \), \(f\restriction \alpha \) R \(f(\alpha )\). We denote the assertion \((\forall \lambda <\kappa )\textsf {DC}_{\lambda }\) by \(\textsf {DC}_{<\kappa }\). We recall that \(\textsf {AC}\) is equivalent to \(\forall \kappa (\textsf {DC}_{\kappa })\) and \(\textsf {DC}_{\kappa }\) implies \(\textsf {AC}_{\kappa }\). We refer the reader to [32, Chapter 8], for details concerning \(\textsf {DC}_{\kappa }\) and related choice principles.
We recall the definitions of a forcing notion with the \(\kappa \)chain condition (\(\kappa \)c.c.) and of forcing notions that are \(\kappa \)closed and \(\kappa \)distributive from [19, Definition 5.8]. We also recall the definitions of forcing notions that are \(<\kappa \)strategically closed, \(\kappa \)strategically closed, and \((\kappa +1)\)strategically closed from [19, Definition 5.14, Definition 5.15]. Monro [43, Corollary 5.11] proved that \(\textsf {DC}_{\kappa }\) is not preserved by generic extensions for any infinite cardinal \(\kappa \).
Karagila [37, Lemma 1] proved that if \({\mathbb {P}}\) is \(\kappa \)closed and \({\mathcal {F}}\) is \(\kappa \)complete then \(\textsf {DC}_{<\kappa }\) is preserved in the symmetric extension in terms of symmetric system \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle \). The author and Karagila both observed independently that “\({\mathbb {P}}\) is \(\kappa \)closed” can be replaced by “\({\mathbb {P}}\) has the \(\kappa \)c.c.” in [37, Lemma 1]. The author noticed this observation combining the role of \(\kappa \)c.c. forcing notions from [11, Lemma 2.2] and the role of \(\kappa \)completeness of \({\mathcal {F}}\) from [37, Lemma 1].
The idea was the following. If \({\mathbb {P}}\) has the \(\kappa \)c.c., then any antichain is of size less than \(\kappa \). So by Zorn’s Lemma in the ground model, there is a maximal antichain of conditions \({\mathcal {A}}=\{p_{\alpha }: \alpha<\gamma <\kappa \}\) extending p such that for all \(\alpha <\gamma \), \(p_{\alpha }\Vdash {\dot{f}}({\hat{\alpha }})={\dot{t}}_{\alpha }\) where \({\dot{t}}_{\alpha }\in HS\). Then we can follow the proof of [37, Lemma 1] to finish the proof.
In a private conversation with Karagila, the author came to know that they independently observed the same fact. We note that there was a gap in the above observation. Specifically, the author was not aware of the fact that every symmetric system is equivalent to a tenacious system. Karagila fixed this gap. In particular, in [35, Lemma 3.3], Karagila wrote that the natural assumption that \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle \) is a tenacious system is also required in the proof.
Lemma 3.1
(Karagila; [35, Lemma 3.3]) Let V be a model of \(\textsf {ZFC}\). If \({\mathbb {P}}\) has the \(\kappa \)c.c. and \({\mathcal {F}}\) is \(\kappa \)complete, then \(\textsf {DC}_{<\kappa }\) is preserved in the symmetric extension of V with respect to the symmetric system \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle \).
We slightly generalize [37, Lemma 1] and prove Observation 1.1.
Lemma 3.2
(Observation 1.1) Let V be a model of \(\textsf {ZFC}\). If \({\mathbb {P}}\) is \(\kappa \)distributive and \({\mathcal {F}}\) is \(\kappa \)complete, then \(\textsf {DC}_{<\kappa }\) is preserved in the symmetric extension of V with respect to the symmetric system \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle \).
Proof
Let G be a \({\mathbb {P}}\)generic filter over V. Let \(\delta <\kappa \). We show that \(\textsf {DC}_{\delta }\) holds in V(G). Let X and R be elements of V(G) as in the assumptions of \(\textsf {DC}_{\delta }\). Since \(\textsf {AC}\) is equivalent to \(\forall \kappa \)(\(\textsf {DC}_{\kappa }\)) and V[G] is a model of \(\textsf {AC}\), using \(\forall \kappa \)(\(\textsf {DC}_{\kappa }\)) in V[G], we can find an \(f:\delta \rightarrow X\) in V[G] such that \(f\restriction \alpha \) R \(f(\alpha )\) for all \(\alpha < \delta \). We show that this f is in V(G). Let \(p_{0}\Vdash {\dot{f}}\) is a function whose domain is \(\delta \) and range is X which is a subset of V(G). For each \(\alpha <\delta \), \(D_{\alpha }=\{p\le p_{0}: (\exists x\in X) p\Vdash {\dot{f}}({\check{\alpha }})={\dot{x}}\) where \({\dot{x}}\in HS \}\) is open dense below \(p_{0}\). Consequently by \(\kappa \)distributivity of \({\mathbb {P}}\), \(D=\bigcap _{\alpha <\delta } D_{\alpha }\) is dense below \(p_{0}\). So, there is some \(p\in D\cap G\). We can see that for each \(\alpha <\delta \), there is an \(x_{\alpha }\) such that \(p\Vdash {\dot{f}}({\check{\alpha }})={\dot{x}}_{\alpha }\) where \({\dot{x}}_{\alpha }\in HS\). Define \({\dot{g}}=\{\langle {\check{\alpha }},{\dot{x}}_{\alpha }\rangle :\alpha <\delta \}\). Now, since each \({\dot{x}}_{\alpha }\in HS\), \(sym({\dot{x}}_{\alpha })\in {\mathcal {F}}\). By \(\kappa \)completeness of \({\mathcal {F}}\), \(H=\bigcap _{\alpha <\delta }sym({\dot{x}}_{\alpha })\in {\mathcal {F}}\). Next, since H is a subgroup of \(sym{({\dot{g}})}\) and \({\mathcal {F}}\) is a filter, \({\dot{g}}\in HS\). We can see that \(p\Vdash {\dot{g}}={\dot{f}}\). Thus, there is a dense open set of conditions \(q\le p_{0}\), such that for some \({\dot{g}}\in HS\), \(q\Vdash {\dot{g}}={\dot{f}}\). By genericity, \({\dot{f}}^{G}=f\in V(G)\). \(\square \)
Remark 3.3
If \(\kappa \) is either a supercompact cardinal or a strongly compact cardinal and \(\lambda >\kappa \) is a regular cardinal, there are certain forcing notions like supercompact Prikry forcing [12] and strongly compact Prikry forcing [5] which are known to be non\(\kappa \)distributive, but still can preserve \(\textsf {DC}_{\kappa }\) in the symmetric extension based on such forcings. In particular, Apter communicated to us that, assuming the consistency of a \(2^{\lambda }\)supercompact cardinal \(\kappa \) and a regular cardinal \(\lambda >\kappa \), Kofkoulis proved in [38], that in a symmetric extension based on supercompact Prikry forcing, \(\textsf {DC}_{\kappa }\) was preserved. In particular, \(\textsf {DC}_{\kappa }\) holds in the symmetric inner model constructed in [12, Theorem 1]. Further applying the methods of Kofkoulis, assuming the consistency of a \(\lambda \)strongly compact cardinal \(\kappa \) and a measurable cardinal \(\lambda >\kappa \), a symmetric extension based on strongly compact Prikry forcing was constructed in [5] where \(\kappa \) became a singular cardinal of cofinality \(\omega \), \(\kappa ^{+}\) remained a measurable cardinal and \(\textsf {DC}_{\kappa }\) was preserved. We can also find another exhibition of Kofkoulis’s method with certain modifications in [8].
Next, we prove Observation 1.2.
Lemma 3.4
(Observation 1.2) Let \(\delta <\kappa \) and V be a model of \(\textsf {ZF}+\textsf {DC}_{\delta }\). If \({\mathbb {P}}\) is (\(\delta +1\))strategically closed and \({\mathcal {F}}\) is \(\kappa \)complete, then \(\textsf {DC}_{\delta }\) is preserved in the symmetric extension of V with respect to the symmetric system \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle \).
Proof
Let \(\delta <\kappa \). Let G be a \({\mathbb {P}}\)generic filter over V. By [25, Theorem 2.2], \(\textsf {DC}_{\delta }\) is preserved in V[G] since \({\mathbb {P}}\) is (\(\delta +1\))strategically closed. We show that \(\textsf {DC}_{\delta }\) holds in V(G). Let X and R be elements of V(G) as in the assumptions of \(\textsf {DC}_{\delta }\). Since \(\textsf {DC}_{\delta }\) is preserved in V[G], we can find an \(f:\delta \rightarrow X\) in V[G] such that \(f\restriction \alpha \) R \(f(\alpha )\) for all \(\alpha < \delta \). We show that this f is in V(G). Let \(p\Vdash {\dot{f}}\) is a function whose domain is \(\delta \) and its range is a subset of V(G). Consider a game of length \(\delta +1\), between two players I and II who play at odd stages and even stages respectively such that initially II chooses a trivial condition and I chooses a condition \(p_{0}\) extending p such that \(p_{0}\Vdash {\dot{f}}({\check{0}})={\dot{t}}_{0}\) where \({\dot{t}}_{0}\) is in HS, and at nonlimit even stages 2\(\alpha >0\), II chooses a condition \(p_{\alpha }\) extending the condition of the previous stage such that \(p_{\alpha }\Vdash {\dot{f}}({\check{\alpha }})={\dot{t}}_{\alpha }\) where \({\dot{t}}_{\alpha }\) is in HS. By (\(\delta +1\))strategic closure of \({\mathbb {P}}\), II has winning strategy. Thus, we can we can extend p to \(p_{0} \ge p_{1} \ge \cdots \ge p_{\alpha }\) \(\ge \cdots \ge p_{\delta }\) such that \(p_{\alpha }\Vdash {\dot{f}}({\check{\alpha }})={\dot{t}}_{\alpha }\) where \({\dot{t}}_{\alpha }\) is in HS for each \(\alpha <\delta \). It is enough to show that \({\dot{f}}=\{\langle {\check{\beta }},{\dot{t}}_{\beta }\rangle : \beta <\delta \}\) is in HS which follows using \(\kappa \)completeness of \({\mathcal {F}}\) as done in [37, Lemma 1]. \(\square \)
Remark 3.5
We note that we are using the definition of a \((\delta +1)\)strategically closed forcing notion from [19, Definition 5.15] which is different from the definition used in [25]. In particular, in our case a forcing notion is \(\delta \)strategically closed if in the two person game in which the players construct a descending sequence \(\langle p_{\alpha } : \alpha < \delta \rangle \), where player I plays odd stages and player II plays even and limit stages (choosing the trivial condition at stage 0), player II has a strategy which ensures the game can always be continued; a forcing notion is (\(\delta +1\))strategically closed if the corresponding game has length \(\delta +1\). Whereas Gitman and Johnstone defined that a forcing notion is \(\le \delta \)strategically closed if in the game of ordinal length \(\delta +1\) in which two players alternatively select conditions from it to construct a descending \(\delta +1\)sequence with the second player playing at even and limit stages, the second player has a strategy that allows her to always continue playing (cf. [25, the paragraph before Theorem 2.2]). Thus in our case if V is a model of \(\textsf {ZF}+\textsf {DC}_{\delta }\) and \({\mathbb {P}}\) is (\(\delta +1\))strategically closed then \(\textsf {DC}_{\delta }\) is preserved in V[G] by [25, Theorem 2.2].
Remark 3.6
Let V be a model of \(\textsf {ZF}\ +\textsf {DC}_{\kappa }\). Suppose \({\mathbb {P}}\) is wellorderable of order type at most \(\kappa \) and has the \(\kappa \)c.c. property. We remark that if \({\mathcal {F}}\) is \(\kappa \)complete, then \(\textsf {DC}_{<\kappa }\) is preserved in the symmetric extension of V in terms of the symmetric system \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle \). Let G be a \({\mathbb {P}}\)generic filter over V. By [25, Theorem 2.1], \(\textsf {DC}_{\kappa }\) is preserved in V[G]. The rest follows from the proof of [35, Lemma 3.3].
Question 3.7
Let V be a model of \(\textsf {ZF}\ +\textsf {DC}_{\kappa }\). Suppose that \({\mathbb {P}}\) is \(\kappa \)distributive. Can we preserve \(\textsf {DC}_{\kappa }\) in every forcing extension V[G] by \({\mathbb {P}}\)?
If the answer is in the affirmative, then we can say that if V is a model of \(\textsf {ZF}\ +\textsf {DC}_{\kappa }\), \({\mathbb {P}}\) is \(\kappa \)distributive, and \({\mathcal {F}}\) is \(\kappa \)complete, then \(\textsf {DC}_{<\kappa }\) is preserved in the symmetric extension in terms of the symmetric system \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle \) following Lemma 3.2.
Number of normal measures a successor cardinal can carry and dependent choice
Takeuti [44] and Jech [33] independently proved that if we assume the consistency of “\(\textsf {ZFC}\) + there is a measurable cardinal" then the theory “\(\textsf {ZF+DC}\) + \(\aleph _{1}\) is a measurable cardinal” is consistent. Dimitriou [21, section 1.33] modified Jech’s construction and proved that if we assume the consistency of “\(\textsf {ZFC}\) + there is a measurable cardinal \(\kappa \) and \(\gamma <\kappa \) is a regular cardinal” then the theory “\(\textsf {ZF}\) + the cardinality of \(\gamma \) is preserved + \(\gamma ^{+}\) is a measurable cardinal” is consistent. Apter, Dimitriou, and Koepke [3] constructed symmetric models in which for an arbitrary ordinal \(\rho \), \(\aleph _{\rho +1}\) can be the least measurable as well as the least regular uncountable cardinal. Bilinsky and Gitik [17] proved that if we assume the consistency of “\(\textsf {ZFC+GCH}\) + there is a measurable cardinal \(\kappa \)” then we can obtain a symmetric extension where \(\kappa \) is a measurable cardinal without a normal measure. Assuming the consistency of “\(\textsf {ZFC+GCH}\) + there is a measurable cardinal", we can construct models of \(\textsf {ZF+DC}\) where successor of regular cardinals like \(\aleph _1\), \(\aleph _{2}\), \(\aleph _{\omega +2}\), as well as \(\aleph _{\omega _{1}+2}\), can carry an arbitrary (nonzero) number of normal measures.
Friedman–Magidor [22, Theorem 1] proved that a measurable cardinal can be forced to carry arbitrary number of normal measures in \(\textsf {ZFC}\).
Lemma 3.8
(Friedman and Magidor; [22, Theorem 1]) Assume \(\textsf {GCH}\). Suppose that \(\kappa \) is a measurable cardinal and let \(\alpha \) be a cardinal at most \(\kappa ^{++}\). Then in a cofinalitypreserving forcing extension, \(\kappa \) carries exactly \(\alpha \) normal measures.
We recall the definition of a symmetric collapse from [27].
Definition 3.9
(Symmetric Collapse; [27, Definition 4.1]) Let \(\kappa \le \lambda \) be two infinite cardinals. The symmetric collapse is the symmetric system \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle \) defined as follows.

\({\mathbb {P}}=Col(\kappa ,<\lambda )\), so a condition in \({\mathbb {P}}\) is a partial function p with domain \(\{\langle \alpha , \beta \rangle : \kappa< \alpha< \lambda , \beta < \kappa \}\) such that \(p(\alpha ,\beta ) < \alpha \) for all \(\alpha \) and \(\beta \), supp(p) = \(\{\alpha < \lambda : \exists \beta , \langle \alpha , \beta \rangle \in \) dom \(p\}\) is bounded below \(\lambda \) and \(\vert p\vert < \kappa \).

\({\mathcal {G}}\) is the group of automorphisms \(\pi \) such that there is a sequence of permutations \(\overrightarrow{\pi }=\langle \pi _{\alpha }:\kappa<\alpha <\lambda \rangle \) such that \(\pi _{\alpha }\) is a permutation of \(\alpha \) satisfying \(\pi p(\alpha ,\beta )=\pi _{\alpha }(p(\alpha ,\beta ))\).

\({\mathcal {F}}\) is the normal filter of subgroups generated by fix(E) for bounded \(E\subseteq \lambda \), where fix(E) is the group \(\{\pi : \forall \alpha \in E, \pi p(\alpha ,\beta )=p(\alpha ,\beta )\}\).
Lemma 3.10
Let \(\kappa \le \lambda \) be two infinite cardinals such that \(cf(\lambda )\ge \kappa \) and \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle \) is the symmetric collapse where \({\mathbb {P}}=Col(\kappa ,<\lambda )\). Then, \({\mathcal {F}}\) is \(\kappa \)complete.
Proof
Fix \(\gamma <\kappa \) and let, for each \(\beta <\gamma \), \(K_{\beta }\in {\mathcal {F}}\). There must be bounded \(E_{\beta }\subseteq \lambda \) for each \(\beta <\gamma \) such that fix\(E_{\beta }\subseteq K_{\beta }\). Next, fix(\(\bigcup _{\beta<\gamma }E_{\beta })\subseteq \bigcap _{\beta <\gamma }\) fix\(E_{\beta }\subseteq \bigcap _{\beta <\gamma } K_{\beta }\). Since \(cf(\lambda )\ge \kappa \), \(\bigcup _{\beta <\gamma }E_{\beta }\) is a bounded subset of \(\lambda \). Consequently, \(\bigcap _{\beta <\gamma } K_{\beta }\in {\mathcal {F}}\). \(\square \)
We observe that after a symmetric collapse, the successor of a regular cardinal can be a measurable cardinal carrying an arbitrary (nonzero) number of normal measures assuming the consistency of a measurable cardinal. Further we can preserve Dependent Choice in certain cases.
Theorem 3.11
Let V be a model of \(\textsf {ZFC}+\textsf {GCH}\) with a measurable cardinal \(\kappa \). Let \(\lambda \) be any nonzero cardinal at most \(\kappa ^{++}\) and let \(\eta \le \kappa \) be regular. Then, there is a symmetric extension where \(\kappa =\eta ^{+}\) is a measurable cardinal carrying \(\lambda \) normal measures. Moreover, \(\textsf {AC}_{\kappa }\) fails and \(\textsf {DC}_{<\eta }\) holds^{Footnote 6} in the symmetric model.
Proof
Applying Lemma 3.8, we obtain a cofinalitypreserving forcing extension \(V'\) of V where \(\kappa \) is a measurable cardinal with \(\lambda \) many normal measures. Let \(V'(G)\) be the symmetric extension of \(V'\) obtained by the symmetric collapse \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle \) where \({\mathbb {P}}=Col(\eta ,<\kappa )\) and G is a \({\mathbb {P}}\)generic filter over \(V'\). In \(V'(G)\), \(\kappa =\eta ^{+}\). We can also have the following in \(V'(G)\).

By [11, Lemmas 2.4, 2.5], \(\kappa \) remains a measurable cardinal with \(\lambda \) many normal measures.

Since \(\kappa \) is a successor as well as a measurable cardinal, \(\textsf {AC}_{\kappa }\) fails using Lemma 2.20.

We note that \({\mathcal {F}}\) is \(\eta \)complete by Lemma 3.10. Since \({\mathbb {P}}\) is \(\eta \)closed, \(\textsf {DC}_{<\eta }\) holds using [37, Lemma 1].
\(\square \)
Remark 3.12
The referee pointed out that \(\textsf {DC}_{<\kappa }\) is preserved in \(V'(G)\). Assuming that \(\lambda \) is regular, the proof of Lemma 3.10 gives that \({\mathcal {F}}\) is \(\lambda \)complete. Consequently, since \(\kappa \) is a regular cardinal in \(V'\), \({\mathcal {F}}\) is \(\kappa \)complete. Since \({\mathbb {P}}\) has the \(\kappa \)c.c., by Lemma 3.1, \(\textsf {DC}_{<\kappa }\) is preserved in \(V'(G)\).
Remark 3.13
In [11, Theorem 1], starting with a model of \(``\textsf {ZFC}+ \textsf {GCH}+ o(\kappa )=\delta ^{*}"\) for \(\delta ^{*}\le \kappa ^{+}\) any finite or infinite cardinal, Apter constructed a model of \(\textsf {ZF}+\textsf {DC}_{<\kappa }\) where \(\kappa \) carries exactly \(\delta ^{*}\) normal measures and \(2^{\delta } = \delta ^{++}\) on a set having measure one with respect to every normal measure over \(\kappa \). We observe that we can obtain the result of [11, Theorem 1] starting from just one measurable cardinal \(\kappa \) if we use Lemma 3.8 instead of passing to an inner model of Mitchell from [42] as done in the proof of [11, Theorem 1]. In particular, we can prove the following.
Corollary 3.14
(of [11, Theorem 1]) Let V be a model of \(\textsf {ZFC}\ + \textsf {GCH}\) with a measurable cardinal \(\kappa \) and let \(\lambda \) be a cardinal at most \(\kappa ^{++}\). Then there is a model of \(\textsf {ZF}+\textsf {DC}_{<\kappa }\) where \(\kappa \) is a measurable cardinal carrying \(\lambda \) many normal measures \(\langle {\mathcal {U}}_{\alpha }^{*}: \alpha <\lambda \rangle \). Moreover, we have \(2^{\delta } = \delta ^{++}\) on a set having measure one with respect to any of the measures \({\mathcal {U}}_{\alpha }^{*}\).
The Proof of Theorem 1.5
In this section we prove Theorem 1.5.
Proof
(of Theorem 1.5) Firstly, we give a description of the symmetric extension constructed in [35, Theorem 4.1] as follows.

(1)
The ground model (V). At the beginning of the proof of [9, Theorem 3], from the given requirements, Apter constructed a model V where there is an enumeration \(\langle \kappa _{i} : i <\kappa \rangle \) of \(C\cup \{\omega \}\) where \(C\subseteq \kappa \) is a club of inaccessible and limit cardinals below a supercompact cardinal \(\kappa \) such that \(2^{\kappa _{i}} = \kappa _{i}^{++}\) holds. We consider V to be our ground model. For reader’s convenience we recall the steps from the proof of [9, Theorem 3] as follows.

Let V be a model of \(\textsf {ZFC}\ + \ \textsf {GCH}\) with a supercompact cardinal \(\kappa \).

Let \({\mathbb {Q}}_{1}\) be Laver’s partial ordering of [41] which makes \(\kappa \)’s supercompactness indestructible under \(\kappa \)directed closed forcing. Since \({\mathbb {Q}}_{1}\) may be defined so that \(\vert {\mathbb {Q}}_{1}\vert =\kappa \), we have \(V^{{\mathbb {Q}}_{1}* {\dot{Add}}(\kappa ,\kappa ^{++})}\)= \(V_{2}\) is a model of “\(\textsf {ZFC}\) + \(\kappa \) is supercompact + \(2^{\kappa } = \kappa ^{++}\) + \(2^{\delta } = \delta ^{+}\) for every cardinal \(\delta \ge \kappa ^{+}\)".

Let \({\mathbb {Q}}_{3}\in V_{2}\) be the Radin forcing defined over \(\kappa \). Taking a suitable measure sequence will enable one to preserve the supercompactness of \(\kappa \) (cf. [24]). Consequently, \(V_{2}^{{\mathbb {Q}}_{3}}= {\overline{V}}\) is a model of “\(\textsf {ZFC}\) + \(\kappa \) is supercompact + \(2^{\kappa } = \kappa ^{++}\) + \(2^{\delta } = \delta ^{+}\) for every cardinal \(\delta \ge \kappa ^{+}\) + There is a club \(C \subseteq \kappa \) composed of inaccessible cardinals and their limits with \(2^{\delta } = 2^{\delta ^{+}}=\delta ^{++}\) for every \(\delta \in C\)".

For the sake of convenience we consider the ground model to be \({\overline{V}} = V\). Let \(\langle \kappa _{i}: i<\kappa \rangle \in V\) be the continuous, increasing enumeration of \(C\cup \{\omega \}\).


(2)
Defining the symmetric system \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle \).

Let \({\mathbb {P}}\) be the Easton support product of \({\mathbb {P}}_{\alpha }=Col(\kappa _{\alpha }^{++}, <\kappa _{\alpha +1})\) where \(\alpha <\kappa \).

Let \({\mathcal {G}}\) be the Easton support product of the automorphism groups of each \({\mathbb {P}}_{\alpha }\).

Let \({\mathcal {F}}\) be the filter generated by the groups of the form fix\((\alpha )\) for \(\alpha <\kappa \), where fix\((\alpha )=\{\pi \in \prod _{\beta <\kappa }Aut({\mathbb {P}}_{\beta }): \pi \restriction \alpha = id\}\).


(3)
Defining the symmetric extension of V. Let G be a \({\mathbb {P}}\)generic filter over V. We consider the symmetric extension \(V(G)^{{\mathcal {F}}}\) with respect to the symmetric system \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle \) defined above in (2) and denote it by \({\mathcal {N}}_{1}\) for the sake of our convenience.
Since \({\mathcal {F}}\) is \(\kappa \)complete, and \({\mathbb {P}}\) has the \(\kappa \)c.c., \(\textsf {DC}_{<\kappa }\) is preserved in \({\mathcal {N}}_{1}\) by Lemma 3.1 (cf. [35, section 4.1]). Since each \({\mathbb {P}}_{\alpha }\) is weakly homogeneous, the following lemma holds as a corollary of Lemma 2.16. \(\square \)
Lemma 4.1
If \(A\in {\mathcal {N}}_{1}\) is a set of ordinals, then \(A\in V[G\restriction \alpha ]\) for some \(\alpha <\kappa \).
We apply Lemma 4.1 to prove that \(\kappa \) remains supercompact in \({\mathcal {N}}_{1}\) following the methods of [29]. Inamder [29] proved that if we assume the consistency of “\(\textsf {ZFC}\) + there is a supercompact cardinal \(\kappa \), and \(\gamma <\kappa \) is a regular cardinal” then the theory “\(\textsf {ZF}\) + the cardinality of \(\gamma \) is preserved + \(\gamma ^{+}\) is a supercompact cardinal” is consistent. We recall the relevant lemmas and incorporate the arguments from [29] in order to show that \(\kappa \) remains supercompact in \({\mathcal {N}}_{1}\).
Lemma 4.2
(cf. [29, Lemma 26]) Let \(\kappa \) be a regular cardinal, let \(\gamma \ge \kappa \), and let \({\mathbb {P}}\) be a forcing notion of size less than \(\kappa \). Then for every \(C\in {\mathcal {P}}_{\kappa }(\gamma )^{V[G]}\), there is a \(D\in {\mathcal {P}}_{\kappa }(\gamma )^{V}\) such that in V[G], \(C\subseteq D\).
Lemma 4.3
(Lévy–Solovay Lemma; [29, Lemma 27]) In V, let \(\kappa \) be a regular cardinal, D be a set and \({\mathcal {U}}\) be a \(\kappa \)complete ultrafilter on D. Let \({\mathbb {P}}\) be a forcing notion of size less than \(\kappa \) and G be a \({\mathbb {P}}\)generic filter over V. Suppose \(V[G]\models f:D\rightarrow V\). Then there is an \(S\in {\mathcal {U}}\) and a \(g:S\rightarrow V\) in V such that \(V[G]\models f\restriction S=g\).
Applying Lemmas 4.1 and 4.3 we obtain the following lemma, which is similar to [29, Lemma 33].
Lemma 4.4
Let D be a set and \({\mathcal {U}}\) be a \(\kappa \)complete ultrafilter on D in V. Suppose \({\mathcal {N}}_{1}\models f:D\rightarrow V\). Then there is an \(S\in {\mathcal {U}}\) and a \(g:S\rightarrow V\) in V such that \({\mathcal {N}}_{1}\models f\restriction S=g\).
Proof
By Lemma 4.1, for some \(\alpha <\kappa \) we get \(f\in V[G \restriction \alpha ]\). Now we can say \(G \restriction \alpha \) is \({\mathbb {P}}'\)generic over V where \(\vert {\mathbb {P}}'\vert <\kappa \). By Lemma 4.3, we obtain an \(S\in {\mathcal {U}}\) and a \(g:S\rightarrow V\) in V such that \(V[G\restriction \alpha ]\models f\restriction S=g\). So, \({\mathcal {N}}_{1}\models f\restriction S=g\). \(\square \)
Similarly [29, Lemma 34], we obtain the following lemma by applying Lemma 4.4.
Lemma 4.5
In V, let D be a set and \({\mathcal {U}}\) be a \(\kappa \)complete ultrafilter on D. Let \({\mathcal {W}}\) be the filter on D generated by \({\mathcal {U}}\) in \({\mathcal {N}}_{1}\). Then \({\mathcal {W}}\) is a \(\kappa \)complete ultrafilter.
We follow the proof of [29, Theorem 35] and refer the reader to [29] for further details.
Lemma 4.6
In \({\mathcal {N}}_{1}\), \(\kappa \) is supercompact.
Proof
Let \(\gamma \ge \kappa \) be arbitrary. Since \(\kappa \) is supercompact in V, there is a normal measure \({\mathcal {U}}\) on \({\mathcal {P}}_{\kappa }(\gamma )\) in V. Let \({\mathcal {V}}\) be the \(\kappa \)complete measure it generates on \({\mathcal {P}}_{\kappa }(\gamma )^{V}\) in \({\mathcal {N}}_{1}\). Let \({\mathcal {W}}\) be the filter generated by \({\mathcal {V}}\) on \({\mathcal {P}}_{\kappa }(\gamma )\) in \({\mathcal {N}}_{1}\). Since \({\mathcal {W}}\) is generated by a \(\kappa \)complete ultrafilter on \({\mathcal {P}}_{\kappa }(\gamma )^{V}\subseteq {\mathcal {P}}_{\kappa }(\gamma )\), \({\mathcal {W}}\) is a \(\kappa \)complete ultrafilter by Lemma 4.5.
Fineness: Let \(X\in {\mathcal {P}}_{\kappa } (\gamma )^ {{\mathcal {N}}_{1}}\). By Lemma 4.1, for some \(\alpha <\kappa \) we have \(X\in V[G\restriction \alpha ]\). Since \(\kappa \) is not collapsed while going from V to \(V[G\restriction \alpha ]\), \(X\in {\mathcal {P}}_{\kappa }(\gamma )^ {V[G \restriction \alpha ]}\). By Lemma 4.2 (and following the arguments in the proof of [29, Theorem 35]), \({\hat{X}}\in {\mathcal {V}}'\), where \({\mathcal {V}}'\) is the fine measure that \({\mathcal {U}}\) generates on \({\mathcal {P}}_{\kappa }(\gamma )^{V[G\restriction \alpha ]}\). Now \({\mathcal {U}}\subseteq {\mathcal {V}}'\subseteq {\mathcal {W}}\) since \({\mathcal {P}}_{\kappa }(\gamma )^{V[G\restriction \alpha ]}\subseteq {\mathcal {P}}_{\kappa }(\gamma )^{{\mathcal {N}}_{1}}\). Consequently \({\mathcal {W}}\) is fine.
Choice function: Let \({\mathcal {N}}_{1}\models f:{\mathcal {P}}_{\kappa }(\gamma )\rightarrow \gamma \) and \({\mathcal {N}}_{1}\models \forall X \in {\mathcal {P}}_{\kappa }(\gamma )(f(X)\in X)\). By Lemma 4.1, for some \(\alpha <\kappa \) we get \(h=f\restriction {\mathcal {P}}_{\kappa }(\gamma )^V \in V[G \restriction \alpha ]\). By Lemma 4.3, we get \(Y\in {\mathcal {U}}\) and \((g:Y\rightarrow \gamma )^V\) such that \(V[G\restriction \alpha ]\models h\restriction Y = g\). Now by normality of \({\mathcal {U}}\) in V we get a set x in \({\mathcal {U}}\) such that g is constant on x, and so h is constant on a set in \({\mathcal {U}}\). Hence, we obtain a set y in \({\mathcal {W}}\) such that f is constant on y. \(\square \)
Lemma 4.7
In \({\mathcal {N}}_{1}\), \(\textsf {AC}_{\kappa }\) fails.
Proof
Since the cardinality of \(\kappa _{\alpha }^{++}\) is preserved in \({\mathcal {N}}_{1}\) for \(\alpha <\kappa \), we can define in \({\mathcal {N}}_{1}\) the set \(X_{\alpha }=\{x\subseteq \kappa _{\alpha }^{++} : x\) codes a well ordering of \((\kappa _{\alpha }^{+++})^{V}\) of order type \(\kappa _{\alpha }^{++}\}\). We claim that \(\langle X_{\alpha } : \alpha <\kappa \rangle \in {\mathcal {N}}_{1}\). The sets \(X_{\alpha }\) have fully symmetric names \(\dot{X_{\alpha }}\) (any permutation of a name for an element of \(\dot{X_{\alpha }}\) returns a name for an element of \(\dot{X_{\alpha }}\)). Let \({\dot{X}}=\{\dot{X_{\alpha }} : \alpha <\kappa \}\). Consequently, \(sym ({\dot{X}})\in {\mathcal {F}}\), i.e., \({\dot{X}}\) is symmetric with respect to \({\mathcal {F}}\). Since all the names appearing in \({\dot{X}}\) are from HS, \({\dot{X}}\in HS\). Consequently, \(\langle X_{\alpha } : \alpha <\kappa \rangle \in {\mathcal {N}}_{1}\).
Although each \(X_{\alpha }\not = \emptyset \), we claim that \((\prod _{\alpha <\kappa }X_{\alpha })^{{\mathcal {N}}_{1}}=\emptyset \). Otherwise let \(y\in (\prod _{\alpha <\kappa }X_{\alpha })^{{\mathcal {N}}_{1}}\). Since y is a sequence of sets of ordinals, so can be coded as a set of ordinals. Then there is a \(\gamma <\kappa \) such that \(y\in V[G\restriction \gamma ]\) by Lemma 4.1 and \(V[G\restriction \gamma ]\) is \({\mathbb {P}}\)generic over V such that \(\vert {\mathbb {P}}\vert <\kappa \). So there is a final segment of the sequence \(\langle (\kappa ^{+++}_{\alpha }): \alpha <\kappa \rangle \) which remains a sequence of cardinals in \(V[G\restriction \gamma ]\) which is a contradiction. \(\square \)
Remark 4.8
Since \(\textsf {GCH}\) implies \(\textsf {AC}\), \(\textsf {GCH}\) is weakened to a form which states that there is no injection from \(\delta ^{++}\) into \({\mathcal {P}}(\delta )\) in [9, Theorem 3]. We follow this weakened version of \(\textsf {GCH}\) in our case. We follow the explanation given in [35, section 4.1] by Karagila, to see that in \({\mathcal {N}}_{1}\), \(\textsf {GCH}\) holds for a limit cardinal \(\delta \) if and only if \(\delta >\kappa \).
The referee suggested us to remark the following. In the context of \(\textsf {ZF}\), there are two reasonable definitions for the statement “\(\textsf {GCH}\) at \(\mu \)”.

(1)
There is no injection \(\mu ^{++} \rightarrow ^{inj} {\mathcal {P}}(\mu )\).

(2)
There is no surjection \({\mathcal {P}}(\mu ) \rightarrow ^{sur} \mu ^{++}\).
In \(\textsf {ZF}\), it is possible that there is no \(\mu ^{+}\rightarrow ^{inj} {\mathcal {P}}(\mu )\), but there is always a surjection \({\mathcal {P}}(\mu ) \rightarrow ^{sur} \mu ^{+}\). In our case the above two definitions behave the same, so the referee suggested us to remark that both definitions (1) and (2) work, by the same proof.
Proving Dimitriou’s conjecture
Fix an arbitrary \(n_{0}\in \omega \). Apter [14, Theorem 1] obtained a model of \(\textsf {ZF}+\lnot \textsf {DC}_{\aleph _{{\textsf {n}}_{{\textsf {0}}}+{\textsf {1}}}}\) where \(\aleph _{\omega }\) carries a Rowbottom filter and \(\textsf {DC}_{\aleph _{{\textsf {n}}_{{\textsf {0}}}}}\) holds, from an \(\omega \)sequence of measurable cardinals. In Sect. 8, we observe that there is an alternating sequence of measurable and nonmeasurable cardinals in that model. Apter constructed the model based on Easton support products of Lévy collapse. Consequently, \(\textsf {DC}_{\aleph _{{\textsf {n}}_{{\textsf {0}}}}}\) was preserved (cf. [14, Lemma 1.4]). Dimitriou [21, section 1.4] constructed a similar model with an alternating sequence of measurable and nonmeasurable cardinals, excluding the singular limits. She constructed the model based on finite support products of collapsing functions, unlike the model from [14]. In [21], Dimitriou claimed that by using such a finite support product construction, a lot of arguments could be made easier. In particular, she used finite support products of injective treePrikry forcings, in several constructions from [21, Chapter 2]. There are many models of \(\textsf {ZF}\) constructed using the finite support products of Lévy collapse. Hayut and Karagila [27, Theorem 5.6] considered a symmetric extension constructed using the finite support products of Lévy collapse. In Sect. 6, we encounter two models of \(\textsf {ZF}\) constructed using the finite support products of Lévy collapse due to Apter and Cody from [1] (cf. [5, Theorem 2] as well). On the other hand, there is a downside to this method. Specifically, Dimitriou conjectured that \(\textsf {DC}_{\omega }\) would fail in the model. In this section, we prove that \(\textsf {AC}_{\omega }\) fails in the model and thus prove the conjecture of Dimitriou. In other words, we prove Theorem 1.6. We refer the reader to the terminologies from Sect. 2.4.
Proof
(of Theorem 1.6) Firstly, we give a description of the symmetric extension constructed in [21, section 1.4] as follows.

(1)
The ground model (V). Let V be a model of \(\textsf {ZFC}\), \(\rho \) be an ordinal, and \({\mathcal {K}}=\langle \kappa _{\epsilon }:0<\epsilon <\rho \rangle \) be a sequence of measurable cardinals. Let \(\kappa _0\) be a regular cardinal below all the measurable cardinals in \({\mathcal {K}}\).

(2)
Defining the triple \(({\mathbb {P}},{\mathcal {G}},{\mathcal {I}})\).

Let \(\kappa _{1}' = \kappa _0\). For each \(1<\epsilon < \rho \) we define the following cardinals,
\(\kappa _{\epsilon }'= \kappa _{\epsilon 1}^{+}\) if \(\epsilon \) is a successor ordinal,
\(\kappa _{\epsilon }'= (\bigcup _{\zeta <\epsilon } \kappa _{\zeta })^+ \) if \(\epsilon \) is a limit ordinal and \(\bigcup _{\zeta <\epsilon } \kappa _{\zeta }\) is singular,
\(\kappa _{\epsilon }'= (\bigcup _{\zeta <\epsilon } \kappa _{\zeta })^{++}\) if \(\epsilon \) is a limit ordinal and \(\bigcup _{\zeta <\epsilon } \kappa _{\zeta }=\kappa _{\epsilon }\) is regular,
\(\kappa _{\epsilon }'= \bigcup _{\zeta <\epsilon } \kappa _{\zeta }\) if \(\epsilon \) is a limit ordinal and \(\bigcup _{\zeta<\epsilon } \kappa _{\zeta }<\kappa _{\epsilon }\) is regular.
Let \({\mathbb {P}} = \prod _{0<i<\rho } {\mathbb {P}}_{i}\) be the Easton support product of \({\mathbb {P}}_{i}=Fn(\kappa _{i}', \kappa _{i},\kappa _{i}')\) ordered componentwise where for each \(0<i<\rho \), \(Fn(\kappa _{i}', \kappa _{i},\kappa _{i}')\)= \(\{p:\kappa _{i}'\rightharpoonup \kappa _{i}:\vert p\vert <\kappa _{i}'\) and p is an injection\(\}\) ordered by reverse inclusion. We denote by \(p:\kappa _{i}'\rightharpoonup \kappa _{i}\) a partial function from \(\kappa _{i}'\) to \(\kappa _{i}\).

Let \({\mathcal {G}}= \prod _{0<i<\rho } {\mathcal {G}}_{i}\) where for each \(0<i<\rho \), \({\mathcal {G}}_{i}\) is the full permutation group of \(\kappa _{i}\) that can be extended to \({\mathbb {P}}_{i}\) by permuting the range of its conditions, i.e., for all \(a\in {\mathcal {G}}_{i}\) and \(p\in {\mathbb {P}}_{i}\), \(a(p)=\{(\psi ,a(\beta )):(\psi ,\beta )\in p\}\).

For every finite sequence of ordinals \(e=\{\alpha _i: 1\le i\le m\}\) such that for every \(1\le i\le m\) there is a distinct \(0<\epsilon _{i}< \rho \) such that \(\alpha _{i}\in (\kappa _{\epsilon _i}',\kappa _{\epsilon _i})\), we define \(E_{e}=\{\langle \emptyset ,\ldots ,p_{\epsilon _1}\cap (\kappa _{\epsilon _1}'\times \alpha _1),\emptyset ,\ldots ,p_{\epsilon _2}\cap (\kappa _{\epsilon _2}'\times \alpha _2),\emptyset ,\ldots ,p_{\epsilon _i}\cap (\kappa _{\epsilon _i}'\times \alpha _i),\emptyset ,\ldots ,p_{\epsilon _m}\cap (\kappa _{\epsilon _m}'\times \alpha _m), \emptyset ,\ldots \rangle ; \overrightarrow{p}\in {\mathbb {P}} \}\) and \({\mathcal {I}}=\{E_e : e\in \prod ^{fin}_{0<i<\rho }(\kappa _{i}', \kappa _{i})\}\) where \(\prod ^{fin}_{0<i<\rho }(\kappa _{i}', \kappa _{i})\) is the finite support product.


(3)
Defining the symmetric extension of V. Clearly, \({\mathcal {I}}\) is a projectable symmetry generator with projections \(\overrightarrow{p}\restriction E_{e}=\langle \emptyset ,\ldots , p_{\epsilon _1}\cap (\kappa _{\epsilon _1}'\times \alpha _1),\emptyset ,\ldots ,p_{\epsilon _2}\cap (\kappa _{\epsilon _2}'\times \alpha _2),\emptyset ,\ldots ,p_{\epsilon _m}\cap (\kappa _{\epsilon _m}'\times \alpha _m),\emptyset ,\ldots \rangle \). Let \({\mathcal {I}}\) generate a normal filter \({\mathcal {F}}_{{\mathcal {I}}}\) over \({\mathcal {G}}\). Let G be a \({\mathbb {P}}\)generic filter over V. We consider the symmetric model \(V(G)^{{\mathcal {F}}_{{\mathcal {I}}}}\) as our desired symmetric extension.
It is possible to see that \({\mathbb {P}}\) is \(({\mathcal {G}},{\mathcal {I}})\)homogeneous and so \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {I}}\rangle \) has the approximation property. Consequently, by Lemma 2.16 for all set of ordinals \(X\in V(G)^{{\mathcal {F}}_{{\mathcal {I}}}}\), there exists an \(E_{e}\in {\mathcal {I}}\) such that \(X\in V[G\cap E_{e}]\). Following [21, Lemma 1.35], for every \(0<\epsilon <\rho \), \((\kappa '_{\epsilon })^{+}=\kappa _{\epsilon }\) in \(V(G)^{{\mathcal {F}}_{{\mathcal {I}}}}\). We prove that \(\textsf {AC}_{\omega }\) fails in \(V(G)^{{\mathcal {F}}_{{\mathcal {I}}}}\). For the sake of convenience we call \(V(G)^{{\mathcal {F}}_{{\mathcal {I}}}}\) as V(G), \(HS^{{\mathcal {F}}_{{\mathcal {I}}}}\) as HS, and \({\mathcal {F}}_{{\mathcal {I}}}\) as \({\mathcal {F}}\). \(\square \)
Lemma 5.1
In V(G), \(\textsf {AC}_{\omega }\) fails.
Proof
Since the cardinality of \(\kappa _{n}'\) is preserved in V(G) for \(n<\omega \), we can define in V(G) the set \(X_{n}=\{ x\subseteq \kappa _{n}' : x\) codes a well ordering of \(((\kappa _{n}')^{+})^{V}\) of order type \(\kappa _{n}'\}\). We claim that \(\langle X_{n} : n<\omega \rangle \in V(G)\). The sets \(X_{n}\) have fully symmetric names \(\dot{X_{n}}\) (any permutation of a name for an element of \(\dot{X_{n}}\) returns a name for an element of \(\dot{X_{n}}\)). Let \({\dot{X}}=\{\dot{X_{n}} : n<\omega \}\). Consequently, \(sym ({\dot{X}})\in {\mathcal {F}}\), i.e., \({\dot{X}}\) is symmetric with respect to \({\mathcal {F}}\). Since all the names appearing in \({\dot{X}}\) are from HS, \({\dot{X}}\in HS\). Consequently, \(\langle X_{n} : n<\omega \rangle \in V(G)\).
Although \(X_n\not = \emptyset \), we claim that \((\prod _{n<\omega }X_{n})^{V(G)}=\emptyset \). Otherwise let \(y\in (\prod _{n<\omega }X_{n})^{V(G)}\). Since y is a sequence of sets of ordinals, so can be coded as a set of ordinals. Thus, there is an \(e=\{\alpha _1,\ldots ,\alpha _m\}\) such that \(y\in V[G\cap E_{e}]\) by Lemma 2.16. There are distinct \(\epsilon _{i}\) such that \(\alpha _{i}\in (\kappa _{\epsilon _i}',\kappa _{\epsilon _i})\) and let l be max\(\{\epsilon _{i}: \alpha _{i}\in e\}\) such that l is an integer. Next let \(M=\{i:\epsilon _{i}\le l\}\) and \(M'=\{i:\epsilon _{i}> l\}\). Then \(V[G\cap E_{e}]\) is \(\prod _{i\in M}Fn(\kappa '_{\epsilon _{i}}, \alpha _{i},\kappa '_{\epsilon _{i}})\times \prod _{i\in M'}Fn(\kappa '_{\epsilon _{i}}, \alpha _{i},\kappa '_{\epsilon _{i}})\)generic over V. By closure properties of \(\prod _{i\in M'}Fn(\kappa '_{\epsilon _{i}}, \alpha _{i},\kappa '_{\epsilon _{i}})\), all elements of the sequence \(\langle (\kappa '_{n})^{+}: n<\omega \rangle \) remain cardinals after forcing with \(\prod _{i\in M'}Fn(\kappa '_{\epsilon _{i}}, \alpha _{i},\kappa '_{\epsilon _{i}})\). Next, since M is finite we can find \(j<\omega \) such that for all \(r\ge j\), \(\vert \prod _{i\in M}Fn(\kappa '_{\epsilon _{i}}, \alpha _{i},\kappa '_{\epsilon _{i}})\vert <\kappa _{r}\). Thus, a final segment of the sequence \(\langle (\kappa '_{n})^{+}: n<\omega \rangle \) remains a sequence of cardinals in \(V[G\cap E_{e}]\) which is a contradiction. \(\square \)
Remark 5.2
Hayut and Karagila [27, Theorem 5.6] proved the following.

Assuming the existence of countably many measurable cardinals, it is consistent that there is a uniform ultrafilter on \(\aleph _{\omega }\) but for all \(0< n < \omega \), there are no uniform ultrafilters on \(\aleph _{n}\).
They considered a symmetric extension M based on finite support product of the symmetric collapses \(Col(\kappa _{n}, < \kappa _{n+1})\). Following the proof of Lemma 5.1, we can say that \(\textsf {AC}_{\omega }\) fails in the symmetric extension M. We consider another similar symmetric extension. Let \(V_{1}\) be a model of \(\textsf {ZFC}\) where \(\langle \kappa _{n} : 1\le n<\omega \rangle \) is a countable sequence of supercompact cardinals. Let \({\mathbb {Q}}\) be the forcing notion (see [10, 13]) which makes the supercompactness of each \(\kappa _{n}\) indestructible under \(\kappa _{n}\)directed closed forcing notions. Let H be a \({\mathbb {Q}}\)generic filter over \(V_{1}\) and \(V=V_{1}[H]\) be our ground model. Let \(\kappa _{0}=\omega \) in V. Consider the symmetric extension \({\mathcal {N}}\) obtained by taking the finite support product of the symmetric collapses \(Col(\kappa _{n}, < \kappa _{n+1})\). In the resulting model \({\mathcal {N}}\) the following hold:

(1)
Since the forcing notions involved are weakly homogeneous, if A is a set of ordinals in \({\mathcal {N}}\), then A was added by an intermediate submodel where \(\textsf {AC}\) holds.

(2)
For \(n > 0\), each \(\kappa _{n}\) becomes \(\aleph _{n}\) in \({\mathcal {N}}\).
Following [27, Theorem 4.3], we can observe that for each \(1\le n<\omega \), there are no uniform ultrafilters on \(\aleph _{n}\) in \({\mathcal {N}}\). Consequently for each \(1\le n<\omega \), \(\aleph _{n}\) can not be a measurable cardinal in \({\mathcal {N}}\). Since we are considering symmetric extension based on finite support products, \(\textsf {AC}_{\omega }\) fails following the proof of Lemma 5.1. We can see that each \(\aleph _{n}\) remains a Ramsey cardinal for \(1 \le n<\omega \) in \({\mathcal {N}}\). Fix \(1\le n<\omega \). Let \(f:[\kappa _{n}]^{<\omega }\rightarrow 2\) is in \({\mathcal {N}}\). Since f can be coded by a set of ordinals, f was added by an intermediate submodel (say \(V'\)) where \(\textsf {AC}\) holds. Without loss of generality, we can say that \(V'= V[G_1][G_2]\) where \(G_1\) is \({\mathbb {Q}}_1\)generic over V such that \({\mathbb {Q}}_1\) is \(\kappa _{n}\)directed closed and \(G_2\) is \({\mathbb {Q}}_2\)generic over \(V[G_{1}]\) such that \(\vert {\mathbb {Q}}_2\vert <\kappa _{n}\). Since \({\mathbb {Q}}_{1}\) is \(\kappa _{n}\)directed closed, \(\kappa _{n}\) remains supercompact in \(V[G_{1}]\) as the supercompactness of \(\kappa _{n}\) was indestructible under \(\kappa _{n}\)directed closed forcing notions in V. Consequently, \(\kappa _{n}\) remains a Ramsey cardinal in \(V[G_{1}]\). Since \(\vert {\mathbb {Q}}_2\vert <\kappa _{n}\), \(\kappa _{n}\) remains Ramsey in \(V[G_{1}][G_{2}]\) by Theorem 2.5. There is then a set \(X\in [\kappa _{n}]^{\kappa _{n}}\) homogeneous for f in \(V'\), and since \(V'\subseteq {\mathcal {N}}\), \(X\in [\kappa _{n}]^{\kappa _{n}}\) is homogeneous for f in \({\mathcal {N}}\). Consequently, for each \(1\le n<\omega \), \(\kappa _{n}\) is Ramsey in \({\mathcal {N}}\).
Reducing the assumption of supercompactness to strong compactness
Strongly compact Prikry forcing
Suppose \(\lambda >\kappa \) and \(\kappa \) be a \(\lambda \)strongly compact cardinal in the ground model V. Let \({\mathcal {U}}\) be a \(\kappa \)complete fine ultrafilter over \({\mathcal {P}}_{\kappa }(\lambda )\).
Definition 6.1
(cf. [24, Definition 1.51]) A set T is called a \({\mathcal {U}}\)tree with trunk t if and only if the following hold.

(1)
T consists of finite sequences \(\langle P_{1},\ldots ,P_{n}\rangle \) of elements of \({\mathcal {P}}_{\kappa }(\lambda )\) so that \(P_{1}\subseteq P_{2}\subseteq \ldots \subseteq P_{n}\).

(2)
\(\langle T, \unlhd \rangle \) is a tree, where \(\unlhd \) is the order of the end extension of finite sequences.

(3)
t is a trunk of T, i.e., \(t\in T\) and for every \(\eta \in T\), \(\eta \unlhd t\) or \(t \unlhd \eta \).

(4)
For every \(t\unlhd \eta \), \(Suc_{T} (\eta )=\{Q\in {\mathcal {P}}_{\kappa }(\lambda ): \eta \frown \langle Q\rangle \in T\}\in {\mathcal {U}}\).
The set \({\mathbb {P}}_{{\mathcal {U}}}\) consists of all pairs \(\langle t,T\rangle \) such that T is a \({\mathcal {U}}\)tree with trunk t. If \(\langle t,T\rangle , \langle s,S\rangle \in {\mathbb {P}}_{{\mathcal {U}}}\), we say that \(\langle t,T\rangle \) is stronger than \(\langle s,S\rangle \), and denote this by \(\langle t,T\rangle \ge \langle s,S\rangle \), if and only if \(T \subseteq S\). We call \({\mathbb {P}}_{{\mathcal {U}}}\) with the ordering defined above as the strongly compact Prikry forcing with respect to \({\mathcal {U}}\).^{Footnote 7}
Let G be a \({\mathbb {P}}_{{\mathcal {U}}}\)generic filter over V. We summarize the necessary properties of \({\mathbb {P}}_{{\mathcal {U}}}\) from [24].

By a Prikry like lemma and a similar proof as in the ordinary Prikry forcing,^{Footnote 8}\({\mathbb {P}}_{{\mathcal {U}}}\) does not add new bounded subsets to \(\kappa \) (cf. [5, Lemma 1.1], [24, Theorem 1.52]).

Every cardinal in \((\kappa , \lambda ]\) is collapsed to have size \(\kappa \) in V[G] (cf. [24, Lemma 1.50] and the arguments before [24, Theorem 1.52]).

Every \(\delta \in [\kappa , \mu ]\) of cofinality \(\ge \kappa \) (in V) changes its cofinality to \(\omega \) in V[G] (cf. [24, Lemma 1.50, Theorem 1.52]), where \(\mu =\lambda \) if \(cf(\lambda ) \ge \kappa \) and \(\mu =\lambda ^{+}\) if \(cf(\lambda ) < \kappa \).

Any two conditions with the same trunk, i.e. of the form \(\langle t, T\rangle \) and \(\langle t, S\rangle \) are compatible. Also there are \(\lambda ^{<\kappa }\) many possibilities for trunks for members of \({\mathbb {P}}_{{\mathcal {U}}}\). Consequently, \({\mathbb {P}}_{{\mathcal {U}}}\) satisfies the \((\lambda ^{<\kappa })^{+}\)c.c. (cf. [24, Lemma 1.48] and the arguments before [24, Theorem 1.52]).
The Proofs of Observations 1.7 and 1.8
In this subsection, we prove Observations 1.7 and 1.8.
Proof
(of Observation 1.7) We perform the construction in two stages. In the first stage, we consider a model similar to the choiceless model constructed in [5, section 2].

(1)
The ground model (V): We start with a model \(V_{0}\) of \(\textsf {ZFC}\) where \(\kappa \) is a strongly compact cardinal, \(\theta \) is an ordinal, and \(\textsf {GCH}\) holds. By [4, Theorem 3.1] we can obtain a forcing extension \(V_{1}\) in which the strong compactness of \(\kappa \) is indestructible under \(Add(\kappa , \theta )\) for all \(\theta \). Then forcing with \(Add(\kappa , \theta )\), we may assume without loss of generality that \(\kappa \) is strongly compact and \(2^{\kappa }=\theta \) in a forcing extension V of \(V_{1}\). Let \(\lambda \) be a cardinal in V such that \(\kappa < \lambda \) and \((cf(\lambda ))^{V}<\kappa \).

(2)
Defining an inner model of a forcing extension of V:

Let \({\mathcal {U}}\) be a fine measure on \({\mathcal {P}}_{\kappa }(\lambda )\) and \({\mathbb {P}}={\mathbb {P}}_{{\mathcal {U}}}\) be the strongly compact Prikry forcing. Let G be a \({\mathbb {P}}_{{\mathcal {U}}}\)generic filter over V.

We consider a model similar to the choiceless model constructed in [5, section 2]. In particular, we consider our model \({\mathcal {N}}\) to be the least model of \(\textsf {ZF}\) extending V and containing \(r\restriction \delta \) for each regular \(\delta \in [\kappa ,\lambda )\) where \(r\restriction {\delta }=\{\langle p_{0}\cap \delta ,\ldots ,p_{n}\cap \delta \rangle : \exists f\in {\mathcal {F}} \left[ \langle p_{0},\ldots ,p_{n},f\rangle \in G\right] \}\) but not the \(\lambda \)sequence of \(r\restriction \delta \)’s.

\(\square \)
We follow the homogeneity of strongly compact Prikry forcing mentioned in [5, Lemma 2.1] to observe the following lemma.
Lemma 6.2
If \(A\in {\mathcal {N}}\) is a set of ordinals, then \(A\in V[r\restriction \delta ]\) for some regular \(\delta \in [\kappa ,\lambda )\).
Lemma 6.3
In \({\mathcal {N}}\), \(\kappa \) is a strong limit cardinal.
Proof
Since \(V\subseteq {\mathcal {N}}\subseteq V[G]\) and \({\mathbb {P}}\) does not add bounded subsets to \(\kappa \), V and \({\mathcal {N}}\) have the same bounded subsets of \(\kappa \).^{Footnote 9} Consequently, in \({\mathcal {N}}\), \(\kappa \) is a limit of inaccessible cardinals and thus a strong limit cardinal as well. \(\square \)
As explained in the introduction, our definitions of “strong limit cardinal” and “inaccessible cardinal” generally do not make sense in choiceless models. In spite of that, we can see that the assertion in Lemma 6.3 makes sense (see the paragraph after [1, Theorem 1]). Since \({\mathcal {N}}\) and V have the same bounded subsets of \(\kappa \), the usual definitions of “\(\kappa \) is a strong limit cardinal” and “\(\delta < \kappa \) is an inaccessible cardinal” make sense in \({\mathcal {N}}\).
Lemma 6.4
If \(\gamma \ge \lambda \) is a cardinal in V, then \(\gamma \) remains a cardinal in \({\mathcal {N}}\).
Proof
For the sake of contradiction, let \(\gamma \) is not a cardinal in \({\mathcal {N}}\). There is then a bijection \(f:\alpha \rightarrow \gamma \) for some \(\alpha <\gamma \) in \({\mathcal {N}}\). Since f can be coded by a set of ordinals, by Lemma 6.2 we have \(f\in V[r\restriction \delta ]\) for some regular \(\delta \in [\kappa ,\lambda )\). Since \(\textsf {GCH}\) is assumed in \(V_{0}\) we have \((\delta ^{<\kappa })^{V_{0}}=\delta \), and since \(Add(\kappa ,\theta )\) preserves cardinals and adds no sequences of ordinals of length less than \(\kappa \), we conclude that \((\delta ^{<\kappa })^{V}=(\delta ^{<\kappa })^{V_{0}}=\delta \). Now \({\mathbb {P}}_{{\mathcal {U}}\restriction \delta }\) is \((\delta ^{<\kappa })^{+}\)c.c. in V and hence \(\delta ^{+}\)c.c. in V. Consequently, \(\gamma \) is a cardinal in \(V[r\restriction \delta ]\) which is a contradiction. \(\square \)
Lemma 6.5
In \({\mathcal {N}}\), \(cf(\kappa )=\omega \). Moreover, \((\kappa ^{+})^{{\mathcal {N}}}=\lambda \) and \(cf(\lambda )^{{\mathcal {N}}} = cf(\lambda )^V\).
Proof
For each regular \(\delta \in [\kappa ,\lambda )\), we have \(V[r\restriction \delta ]\subseteq {\mathcal {N}}\). Consequently, \(cf(\kappa )^{{\mathcal {N}}}=\omega \) since \(cf(\kappa )^{V[r\restriction \kappa ]}=\omega \). Following [5, Lemma 2.4], every ordinal in \((\kappa ,\lambda )\) which is a cardinal in V collapses to have size \(\kappa \) in \({\mathcal {N}}\), and so \((\kappa ^{+})^{{\mathcal {N}}}=\lambda \). Since V and \({\mathcal {N}}\) have same bounded subsets of \(\kappa \), we see that \(cf(\lambda )^{{\mathcal {N}}}=cf(\lambda )^{V}<\kappa \). \(\square \)
We can see that since, \(V\subseteq {\mathcal {N}}\) and \((2^{\kappa }=\theta )^{V}\), there is a \(\theta \)sequence of distinct subsets of \(\kappa \) in \({\mathcal {N}}\). Since \(cf(\kappa ^{+})^{{\mathcal {N}}}<\kappa \) we can also see that \(\textsf {AC}_{\kappa }\) fails in \({\mathcal {N}}\).
In the second stage, we consider an inner model of a forcing extension of \({\mathcal {N}}\) based on a product of Lévy collapses as done in the proof of [1, Theorem 2].

(1)
The ground model (\({\mathcal {N}}\)). Consider the ground model to be \({\mathcal {N}}\). Let \(\langle \kappa _{n}:n<\omega \rangle \) be a sequence of inaccessible cardinals less than \(\kappa \) which is cofinal in \(\kappa \).

(2)
Defining an inner model of a forcing extension of \({\mathcal {N}}\).

Let \({\mathbb {P}}=Col(\omega ,<\kappa )\), and let G be \({\mathbb {P}}\)generic over \({\mathcal {N}}\). Let \({\mathbb {P}}_{n}=Col(\omega ,<\kappa _{n})\). Following the proof of [1, Theorem 2], \(G_{n}=G\cap {\mathbb {P}}_{n}\) is \({\mathbb {P}}_{n}\)generic over \({\mathcal {N}}\).

Let \({\mathcal {M}}\) be the least model of \(\textsf {ZF}\) extending \({\mathcal {N}}\) containing each \(G_{n}\), but not G as constructed in [1, Theorem 2].

Following the proof of [1, Theorem 2], we have the following in \({\mathcal {M}}\).

(1)
Since \({\mathcal {M}}\) contains \(G_{n}\) for each n, cardinals in \([\omega ,\kappa )\) are collapsed to have size \(\omega \) and so \(\aleph _{1}^{{\mathcal {M}}}\ge \kappa \).

(2)
If \(x \in {\mathcal {M}}\) is a set of ordinals, then \(x \in {\mathcal {N}}[G_{n}]\) for some \(n < \omega \).

(3)
Since \(Col(\omega , <\kappa _{n})\) is canonically wellorderable in \({\mathcal {N}}\) with order type \(\kappa _{n}\), cardinals and cofinalities greater than or equal to \(\kappa \) are preserved to \({\mathcal {N}}[G_{n}]\).

(4)
Since \(\kappa \) is not collapsed, \(\kappa =\aleph _{1}^{{\mathcal {M}}}\), \(cf(\aleph _{1})^{{\mathcal {M}}}=cf(\aleph _{2})^{{\mathcal {M}}}=\omega \). Consequently, \(\textsf {AC}_{\omega }\) fails in \({\mathcal {M}}\).

(5)
There is a sequence of distinct subsets of \(\aleph _{1}\) of length \(\theta \).
\(\square \)
Proof
(of Observation 1.8) We recall the model \({\mathcal {N}}\) from the previous proof. We consider an inner model of the forcing extension of \({\mathcal {N}}\) as done in the proof of [1, Theorem 3].

(1)
The ground model (\({\mathcal {N}}\)). Consider the ground model to be \({\mathcal {N}}\) as in the previous proof. Let \(\langle \kappa _{n}:n<\omega \rangle \) be a sequence of inaccessible cardinals less than \(\kappa \) which is cofinal in \(\kappa \).

(2)
Defining an inner model of a forcing extension of \({\mathcal {N}}\).

Let \({\mathbb {P}}_{0}=Col(\omega ,<\kappa _{0})\), \({\mathbb {P}}_{i}=Col(\kappa _{i1},<\kappa _{i})\) for \(1\le i<\omega \). Let \({\mathbb {P}}=\Pi _{i<\omega }^{fin} {\mathbb {P}}_{i}\) be a finite support product of \({\mathbb {P}}_{i}\). For each \(n<\omega \), we can factor \({\mathbb {P}}\) as \({\mathbb {P}}\cong {\mathbb {P}}_{n}^{*}\times {\mathbb {P}}^{n}\) where \({\mathbb {P}}_{n}^{*}=\Pi _{0\le i\le n}^{fin} {\mathbb {P}}_{i}\) and \({\mathbb {P}}^{n}=\Pi _{n+1\le i<\omega }^{fin} {\mathbb {P}}_{i}\). Let \(G\cong G_{n}^{*}\times G^{n}\) be a \({\mathbb {P}}\)generic filter over \({\mathcal {N}}\). Following [1, Theorem 3], each \(G_{n}^{*}\) is \({\mathbb {P}}_{n}^{*}\)generic over \({\mathcal {N}}\).

Let \({\mathcal {M}}\) be the least model of \(\textsf {ZF}\) extending \({\mathcal {N}}\) containing each \(G_{n}^{*}\), but not \(\langle G^{*}_{n}:n<\omega \rangle \) as constructed in [1, Theorem 3].

Following the proof of [1, Theorem 3], we have the following in \({\mathcal {M}}\).

(1)
Since \(G^{*}_{n} \in {\mathcal {M}}\) for each \(n < \omega \), we have \(\aleph _{\omega } \ge \kappa \) and hence \(\aleph _{\omega +1} \ge (\kappa ^{+})^{{\mathcal {N}}}\) in \({\mathcal {M}}\).

(2)
If x is a set of ordinals in \({\mathcal {M}}\), then \(x \in {\mathcal {N}}[G^{*}_{n}]\) for some \(n < \omega \) (cf. [1, Lemma 6]).

(3)
Since \({\mathcal {N}}\) and V contain the same bounded subsets of \(\kappa \), and \(V \subseteq {\mathcal {N}}\), \({\mathbb {P}}^{*}_{n}\) can be wellordered in both V and \({\mathcal {N}}\) with order type less than \(\kappa \). Therefore, cardinals and cofinalities greater than or equal to \(\kappa \) are preserved.

(4)
\(\kappa =\aleph _{\omega }\) and \((\kappa ^{+})^{{\mathcal {N}}}=\aleph _{\omega +1}\) are both singular with \(\omega \le cf(\aleph _{\omega +1})<\aleph _{\omega }\).

(5)
\(\textsf {AC}_{\omega }\) fails in \({\mathcal {M}}\).

(6)
There is a sequence of distinct subsets of \(\aleph _{\omega }\) of length \(\theta \).
\(\square \)
Infinitary Chang conjecture from a measurable cardinal
Infinitary Chang conjecture
We recall the required definitions and relevant lemmas from [21, Chapter 3]. For the sake of our convenience we denote a structure \({\mathcal {A}}\) on domain A as \({\mathcal {A}}=\langle A,\ldots \rangle \).
Definition 7.1
(Set of good indiscernibles; [21, Definition 3.2]) For a structure \({\mathcal {A}}=\langle A,\ldots \rangle \) with \(A\subseteq Ord\), a set \(I\subseteq A\) is a set of indiscernibles if for all \(n<\omega \), all nary formula \(\phi \) in the language for \({\mathcal {A}}\), and every \(\alpha _1,\ldots ,\alpha _n,\alpha '_1,\ldots ,\alpha '_n\) in I, if \(\alpha _1<\ldots <\alpha _n\) and \(\alpha '_1<\ldots <\alpha '_n\) then
The set I is a set of good indiscernibles if and only if it is a set of indiscernibles and we allow parameters that lie below min\(\{\alpha _1,\ldots ,\alpha _n,\alpha '_1,\ldots ,\alpha '_n \}\), i.e., if for every \(x_1,\ldots ,x_m\in A\) such that \(x_1,\ldots ,x_m\le min\{\alpha _1,\ldots ,\alpha _n,\alpha '_1,\ldots ,\alpha '_n\}\) and every \((n+m)\)ary formula \(\phi \),
Definition 7.2
(\(\alpha \)Erdős cardinal; [21, Definition 0.14]) The partition relation \(\alpha \rightarrow (\beta )^{\gamma }_{\delta }\) for ordinals \(\alpha ,\beta ,\gamma ,\delta \) means for all \(f:[\alpha ]^{\gamma }\rightarrow \delta \) there is an \(X\in [\alpha ]^{\beta }\) such that X is homogeneous for f. For an infinite ordinal \(\alpha \), the \(\alpha \)Erdős cardinal \(\kappa (\alpha )\) is the least \(\kappa \) such that \(\kappa \rightarrow (\alpha )^{<\omega }_{2}\).
For cardinals \(\kappa >\lambda \) and ordinal \(\theta <\kappa \) we mean \(\kappa \rightarrow ^{\theta }(\lambda )^{<\omega }_{2}\) if for every first order structure \({\mathcal {A}}=\langle \kappa ,\ldots \rangle \) with a countable language, there is a set \(I\in [\kappa \backslash \theta ]^{\lambda }\) of good indiscernibles for \({\mathcal {A}}\) (cf. [21, Definition 3.7]).
Definition 7.3
(Infinitary Chang conjecture; [21, Definition 3.10]) Let \(\langle \kappa _{n}: n < \omega \rangle \) and \(\langle \lambda _{n}: n < \omega \rangle \) be two increasing sequences of cardinals such that \(\kappa _{n}>\lambda _{n}\) for every \(n<\omega \). The infinitary Chang conjecture for these sequences, written as \((\kappa _n)_{n\in \omega }\twoheadrightarrow (\lambda _n)_{n\in \omega }\), is the statement “for every first order structure \({\mathcal {A}}=\langle \bigcup _{n<\omega }\kappa _{n},\ldots \rangle \) there is an elementary substructure \({\mathcal {B}}\prec {\mathcal {A}}\) with domain B of cardinality \(\bigcup _{n<\omega }{\lambda _{n}}\) such that for every \(n\in \omega \), \(\vert B\cap \kappa _n\vert =\lambda _{n}\)".
Definition 7.4
(cf. [21, Definition 3.14]) Let \(\langle \kappa _{i}: i<\omega \rangle \) and \(\langle \lambda _{i}: 0< i<\omega \rangle \) be two increasing sequences of cardinals. Let \(\kappa =\bigcup _{i<\omega } \kappa _{i}\). We say \(\langle \kappa _{i}: i<\omega \rangle \) is a coherent sequence of cardinals with the property \(\kappa _{i+1}\rightarrow ^{\kappa _i}(\lambda _{i+1})^{<\omega }_{2}\) if and only if for every structure \({\mathcal {A}}=\langle \kappa ,\ldots \rangle \) with a countable language, there is a \(\langle \lambda _{i}: 0< i<\omega \rangle \)coherent sequence of good indiscernibles for \({\mathcal {A}}\) with respect to \(\langle \kappa _{i}: i<\omega \rangle \), i.e., a sequence \(\langle A_{i} : 0< i < \omega \rangle \) with the following properties.

(1)
for every \(0<i<\omega \), \(A_{i} \in [\kappa _{i}\backslash \kappa _{i1}]^{\lambda _{i}}\),

(2)
if \(x, y \in [\kappa ]^{<\omega }\) are such that \(x = \{x_{1},\ldots , x_{n}\}\), \(y = \{y_{1},\ldots , y_{n}\}\), \(x, y \subseteq \bigcup _{0<i<\omega } A_{i}\), and for every \(0<i<\omega \), \(\vert x \cap A_{i}\vert = \vert y \cap A_{i}\vert \) then for every \((n + l)\)ary formula \(\phi \) in the language of \({\mathcal {A}}\) and every \(z_{1},\ldots ,z_{l} < min \{x_{1},\ldots ,x_{n},y_{1},\ldots ,y_{n}\}\), \({\mathcal {A}} \models \phi (z_{1},\ldots ,z_{l},x_{1},\ldots ,x_{n}) \iff {\mathcal {A}} \models \phi (z_{1},\ldots ,z_{l},y_{1},\ldots , y_{n})\).
Lemma 7.5
(\(\textsf {ZF}\); Dimitriou; [21, Corollary 3.15]) Let \(\langle \kappa _{i}: i<\omega \rangle \) and \(\langle \lambda _{i}: 0< i<\omega \rangle \) be two increasing sequences of cardinals. Let \(\kappa =\bigcup _{i<\omega } \kappa _{i}\). If \(\langle \kappa _{i}: i<\omega \rangle \) is a coherent sequence of cardinals with the property \(\kappa _{i+1}\rightarrow ^{\kappa _i}(\lambda _{i+1})^{<\omega }_{2}\) then the infinitary Chang Conjecture \((\kappa _n)_{n\in \omega }\twoheadrightarrow (\lambda _n)_{n\in \omega }\) holds.
Lemma 7.6
(Dimitriou; [21, Proposition 3.50]) Let us assume that \(V\models \) \(\textsf {ZFC}+``\kappa =\kappa (\lambda )\) exists", \({\mathbb {P}}\) is a forcing notion such that \(\vert {\mathbb {P}}\vert <\kappa \), and \({\mathbb {Q}}\) is a forcing notion that doesn’t add subsets to \(\kappa \). If G is \({\mathbb {P}}\times {\mathbb {Q}}\) generic then for every \(\theta <\kappa \), \(V[G]\models \kappa \rightarrow ^{\theta }(\lambda )^{<\omega }_{2}\).
Lemma 7.7
(Dimitriou; [21, Lemma 3.52]) Let \(\langle \kappa _{i}: i<\omega \rangle \) and \(\langle \lambda _{i}: 0< i<\omega \rangle \) be two increasing sequences of cardinals such that \(\langle \kappa _{i}: 0< i<\omega \rangle \) is a coherent sequence of Erdős cardinals with respect to \(\langle \lambda _{i}: 0< i<\omega \rangle \). If \({\mathbb {P}}_1\) is a forcing notion of cardinality \(<\kappa _1\) and G is \({\mathbb {P}}_1\)generic, then in V[G], \(\langle \kappa _{i}: i<\omega \rangle \) is a coherent sequence of cardinals with the property \(\kappa _{i+1}\rightarrow ^{\kappa _i}(\lambda _{i+1})^{<\omega }_{2}\).
The Proofs of Theorems 1.9 and 1.10
In this subsection, we prove Theorems 1.9 and 1.10.
Proof
(of Theorem 1.9)

(1)
The ground model (V). Let \(\kappa \) be a measurable cardinal in a model \(V'\) of \(\textsf {ZFC}\). By Prikry forcing it is possible to make \(\kappa \) singular with cofinality \(\omega \) where an end segment \(\langle \kappa _{i}: 1\le i<\omega \rangle \) of the Prikry sequence \(\langle \delta _{i}: 1\le i <\omega \rangle \) is a coherent sequence of Ramsey cardinals by [7, Theorem 3]. Now Ramsey cardinals \(\kappa _{i}\) are exactly the \(\kappa _{i}\)Erdős cardinals. Thus we obtain a generic extension (say V) where \(\langle \kappa _i: 1\le i<\omega \rangle \) is a coherent sequence of cardinals with supremum \(\kappa \) such that for all \(1\le i<\omega \), \(\kappa _i=\kappa (\kappa _i)\). We define the following cardinals.

(a)
\(\kappa '_{0}=\omega \) and \(\kappa _{0}=\aleph _{\omega }\).

(b)
\(\kappa '_{1}=\aleph _{\omega +1}\).

(c)
\(\kappa '_{i}=\kappa _{i1}^{+\omega _{i1}+1}\)for each \(1< i<\omega \).

(a)

(2)
Defining the triple \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {I}}\rangle \). We consider a triple similar to the one constructed in Sect. 5.

Let \({\mathbb {P}} =\prod _{i<\omega }{\mathbb {P}}_{i}\) be the Easton support product^{Footnote 10} of \({\mathbb {P}}_{i}=Fn(\kappa _{i}', \kappa _{i},\kappa _{i}')\) ordered componentwise where for each \(i<\omega \), \(Fn(\kappa _{i}', \kappa _{i},\kappa _{i}')\)= \(\{p:\kappa _{i}'\rightharpoonup \kappa _{i}:\vert p\vert <\kappa _{i}'\) and p is an injection\(\}\) ordered by reverse inclusion.

\({\mathcal {G}}= \prod _{i<\omega } {\mathcal {G}}_{i}\) where for each \(i<\omega \), \({\mathcal {G}}_{i}\) is the full permutation group of \(\kappa _{i}\) that can be extended to \({\mathbb {P}}_{i}\) by permuting the range of its conditions, i.e., for all \(a\in {\mathcal {G}}_{i}\) and \(p\in {\mathbb {P}}_{i}\), \(a(p)=\{(\psi ,a(\beta )):(\psi ,\beta )\in p\}\).

For \(m\in \omega \) and \(e=\{\alpha _1,\ldots ,\alpha _m\}\) a sequence of ordinals such that for each \(1\le i\le m\), there is a distinct \(\epsilon _{i}<\omega \) such that \(\alpha _{i}\in (\kappa '_{\epsilon _i},\kappa _{\epsilon _i})\), we define \(E_{e}=\{\langle \emptyset ,\ldots ,p_{\epsilon _1}\cap (\kappa '_{\epsilon _1}\times \alpha _1),\emptyset ,\ldots ,p_{\epsilon _2}\cap (\kappa '_{\epsilon _2}\times \alpha _2),\emptyset ,\ldots ,p_{\epsilon _m}\cap (\kappa '_{\epsilon _m}\times \alpha _m),\emptyset ,\ldots \rangle ; \overrightarrow{p}\in {\mathbb {P}} \}\) and \({\mathcal {I}}=\{E_e : e\in \prod ^{fin}_{i<\omega }(\kappa '_{i}, \kappa _{i})\}\).


(3)
Defining symmetric extension of V. Let \({\mathcal {I}}\) generate a normal filter \({\mathcal {F}}_{{\mathcal {I}}}\) over \({\mathcal {G}}\). Let G be a \({\mathbb {P}}\)generic filter. We consider the symmetric model \(V(G)^{{\mathcal {F}}_I}\). We denote \(V(G)^{{\mathcal {F}}_I}\) by V(G) for the sake of convenience.
\(\square \)
Since the forcing notions involved are weakly homogeneous, the following holds.
Lemma 7.8
If \(A\in V(G)\) is a set of ordinals, then \(A\in V[G\cap E_{e}]\) for some \(E_{e}\in {\mathcal {I}}\).
Following the arguments in [21, Lemma 1.35], we can see that in V(G), \((\kappa '_{i})^{+}=\kappa _{i}\) for every \(i<\omega \). Similar to the arguments from the proof of [7, Theorem 11], it is possible to see that in V(G), \(\kappa =\aleph _{(\aleph _{\omega })^{V}}\) and \((\aleph _{\omega })^{V}=\aleph _{1}\). Consequently \(\kappa =\aleph _{\omega _{1}}\) and \(cf(\kappa )=\omega \) in V(G). Further \(\omega _{1}\) is singular in V(G). Following Fact 2.19, \(\textsf {AC}_{\omega }\) fails in V(G). We prove that an infinitary Chang conjecture holds in V(G).
Lemma 7.9
In V(G), an infinitary Chang conjecture holds.
Proof
Let \({\mathcal {A}}=\langle \kappa ,\ldots \rangle \) be a structure in a countable language in V(G). Let \(\{\phi _{n}: n<\omega \}\) be an enumeration of the formulas of the language of \({{\mathcal {A}}}\) such that each \(\phi _{n}\) has \(k(n)\le n\) many free variables. Define \(f:[\kappa ]^{<\omega }\rightarrow 2\) by,
By Lemma 7.8, there is an \(E_{e}\in {\mathcal {I}}\) such that \(f\in V[G\cap E_{e}]\). Fix an arbitrary \(1\le i< \omega \). We can write \(V[G\cap E_{e}]\)=\(V[G_1][G_2]\) where \(G_1\) is \({\mathbb {Q}}_1\)generic over V such that \(\vert {\mathbb {Q}}_1\vert <\kappa _{i}\), and \(G_2\) is \({\mathbb {Q}}_2\)generic over \(V[G_1]\) such that \(G_2\) adds no subsets of \(\kappa _{i}\). Consequently, by Lemma 7.6, \(\kappa _{i}\rightarrow ^{\kappa _{i1}}(\kappa _{i})^{<\omega }_{2}\) in \(V[G\cap E_{e}]\). So, for all \(1\le i<\omega \), \(\kappa _{i}\rightarrow ^{\kappa _{i1}}(\kappa _{i})^{<\omega }_{2}\) in \(V[G\cap E_{e}]\).
Let \(e=\{\alpha _{1},\ldots ,\alpha _{m}\}\) where for each \(i\in \{1,\ldots ,m\}\), there is a dictinct \(\epsilon _{i}\) such that \(\alpha _{i}\in (\kappa '_{\epsilon _{i}},\kappa _{\epsilon _{i}})\). Consider j to be \(max\{\epsilon _{i}:\alpha _{i}\in e\}\). If \(G\cap E_{e}\) is \({\mathbb {P}}\)generic over V then since \(\vert {\mathbb {P}} \vert <\kappa _{j}\), by Lemma 7.7, \(\langle \kappa _{i}:j1\le i<\omega \rangle \) is a coherent sequence of cardinals with the property \(\kappa _{i}\rightarrow ^{\kappa _{i1}}(\kappa _{i})^{<\omega }_{2}\) for all \(j\le i<\omega \). By Definition 7.4, there is a \(\langle \kappa _{i}:j\le i<\omega \rangle \)coherent sequence \(\langle A_{n}:j\le n<\omega \rangle \) of good indiscernibles for \({\mathcal {A}}\) with respect to \(\langle \kappa _{i}:j1\le i<\omega \rangle \). We obtain a \(\langle \kappa _{i}:j1\le i<\omega \rangle \)coherent sequence \(\langle A_{n}:j1\le n<\omega \rangle \) of good indiscernibles for \({\mathcal {A}}\) with respect to \(\langle \kappa _{i}:j2\le i<\omega \rangle \) as follows.

Since \(\kappa _{j1}\rightarrow ^{\kappa _{j2}}(\kappa _{j1})^{<\omega }_{2}\), we obtain a set \(A_{j1}\in [\kappa _{j1}\backslash \kappa _{j2}]^{\kappa _{j1}}\) of indiscernibles for \({\mathcal {A}}\) with respect to parameters below \(\kappa _{j2}\). Consequently, we obtain a \(\langle \kappa _{i}:j1\le i<\omega \rangle \)coherent sequence \(\langle A_{n}:j1\le n<\omega \rangle \) of good indiscernibles for \({\mathcal {A}}\) with respect to \(\langle \kappa _{i}:j2\le i<\omega \rangle \).
If we continue in this manner step by step for the remaining cardinals \(\kappa _{1},\ldots \kappa _{j2}\), then since \(\kappa _{i}\rightarrow ^{\kappa _{i1}}(\kappa _{i})^{<\omega }_{2}\) for each \(1\le i\le j2\), we can obtain a \(\langle \kappa _{i}:0< i<\omega \rangle \)coherent sequence \(A=\langle A_{n}:0< n<\omega \rangle \) of good indiscernibles for \({\mathcal {A}}\) with respect to \(\langle \kappa _{i}: i<\omega \rangle \) and \(A\in V[G\cap E_{e}]\subseteq V(G)\). Therefore for all \(1\le i<\omega \), \(\kappa _{i}\rightarrow ^{\kappa _{i1}}(\kappa _{i})^{<\omega }_{2}\) and \(\langle \kappa _{i}:1\le i<\omega \rangle \) is a coherent sequence of cardinals in V(G) by Definition 7.4. Using Lemma 7.5, we can obtain an infinitary Chang conjecture in V(G) as Lemma 7.5 can be proved in \(\textsf {ZF}\). \(\square \)
Proof
(of Theorem 1.10) Let \({\mathcal {N}}\) be the choiceless model constructed in [7, Theorem 11]. We first translate the arguments in terms of a symmetric extension based on a symmetric system \(\langle {\mathbb {P}}, {\mathcal {G}}, {\mathcal {F}}\rangle \).

Consider V, \({\mathbb {P}}\), and \({\mathcal {G}}\) as mentioned in the previous construction (used for proving Theorem 1.9).

Let \({\mathcal {I}}=\{E_e : e\in \prod _{i< \omega }(\kappa _{i}', \kappa _{i})\}\) where for every \(e=\{\alpha _i: i< \omega \}\in \prod _{i\in \omega }(\kappa _{i}', \kappa _{i})\), \(E_{e}=\{\langle p_{i}\cap (\kappa _{i}'\times \alpha _{i}): i<\omega \rangle : \overrightarrow{p}\in {\mathbb {P}}\}\). Let \({\mathcal {I}}\) generate a normal filter \({\mathcal {F}}_{{\mathcal {I}}}\) over \({\mathcal {G}}\). We define \({\mathcal {F}}\) to be \({\mathcal {F}}_{{\mathcal {I}}}\).
Let G be a \({\mathbb {P}}\)generic filter. We consider the symmetric model \(V(G)^{{\mathcal {F}}}\). We denote \(V(G)^{{\mathcal {F}}}\) by V(G) for the sake of convenience. The model V(G) is analogous to the choiceless model \({\mathcal {N}}\) constructed in [7, Theorem 11]. Since the forcing notions involved are weakly homogeneous, the following holds. \(\square \)
Lemma 7.10
If \(A\in V(G)\) is a set of ordinals, then \(A\in V[G\cap E_{e}]\) for some \(E_{e}\in {\mathcal {I}}\).
Similar to Lemma 7.9, we observe an infinitary Chang conjecture in V(G).
Lemma 7.11
In V(G), an infinitary Chang conjecture holds .
Proof
Let \({\mathcal {A}}=\langle \kappa ,\ldots \rangle \) be a structure in a countable language in V(G). Let \(\{\phi _{n}: n<\omega \}\) be an enumeration of the formulas of the language of \({\mathcal {A}}\) such that each \(\phi _{n}\) has \(k(n)\le n\) many free variables. Define \(f:[\kappa ]^{<\omega }\rightarrow 2\) by,
By Lemma 7.10, there is an \(E_{e}\in {\mathcal {I}}\) such that \(f\in V[G\cap E_{e}]\). Fix an arbitrary \(1\le i< \omega \). We can write \(V[G\cap E_{e}]=V[G_1][G_2]\) where \(G_1\) is \({\mathbb {Q}}_1\)generic over V such that \(\vert {\mathbb {Q}}_1\vert <\kappa _{i}\), and \(G_2\) is \({\mathbb {Q}}_2\)generic over \(V[G_1]\) such that \(G_2\) adds no subsets of \(\kappa _{i}\). Consequently, by Lemma 7.6, \(\kappa _{i}\rightarrow ^{\kappa _{i1}}(\kappa _{i})^{<\omega }_{2}\) in \(V[G\cap E_{e}]\). So, for all \(1\le i<\omega \), \(\kappa _{i}\rightarrow ^{\kappa _{i1}}(\kappa _{i})^{<\omega }_{2}\) in \(V[G\cap E_{e}]\). Thus, we obtain a set \(A_{i}\in [\kappa _{i}\backslash \kappa _{i1}]^{\kappa _{i}}\) of good indiscernibles for \({\mathcal {A}}\) for each \(1\le i<\omega \), in \(V[G\cap E_{e}]\). Consequently, we obtain a \(\langle \kappa _{i}:0< i<\omega \rangle \)coherent sequence \(A=\langle A_{i}:0<i<\omega \rangle \) of good indiscernibles for \({\mathcal {A}}\) with respect to \(\langle \kappa _{i}: i<\omega \rangle \) and \(A\in V[G\cap E_{e}]\subseteq V(G)\). The rest is the same as in the proof of Lemma 7.9. \(\square \)
Applying [7, Theorem 4] and [6, Proposition 1], we prove that \(\aleph _{\omega _{1}}\) is an almost Ramsey cardinal in V(G).
Lemma 7.12
In V(G), \(\aleph _{\omega _{1}}\) is an almost Ramsey cardinal.
Proof
Following the terminologies from the proof of [7, Theorem 11] we have \(\kappa =\aleph _{\omega _{1}}\) in V(G). We show that \(\kappa \) is an almost Ramsey cardinal in V(G). Let \(f:[\kappa ]^{<\omega }\rightarrow 2\) be in V(G). Since f can be coded by a set of ordinals, \(f\in V[G\cap E_{e}]\) for some \(E_{e}\in {\mathcal {I}}\) by Lemma 7.10. Now, in V, \(\kappa \) is the supremum of a coherent sequence of Ramsey cardinals \(\langle \kappa _{i}: i<\omega \rangle \). By [7, Theorem 4] we can see that \(\langle \kappa _{i}: i<\omega \rangle \) stays a coherent sequence of Ramsey cardinals in \(V[G\cap E_{e}]\). Also \(\kappa \) is the supremum of \(\langle \kappa _{i}:i<\omega \rangle \) in \(V[G\cap E_{e}]\). Thus \(\kappa \) is an almost Ramsey cardinal in \(V[G\cap E_{e}]\) by [6, Proposition 1]. Thus for all \(\beta <\kappa \), there is a set \(X_{\beta }\in V[G\cap E_{e}]\subseteq V(G)\) which is homogeneous for f and has order type at least \(\beta \). Hence, \(\kappa \) is almost Ramsey in V(G) since f was arbitrary. \(\square \)
Mutual stationarity property from a sequence of measurable cardinals
Mutual stationarity
We recall the idea of mutual stationarity introduced by Foreman and Magidor in [23] and a theorem due to Cummings, Foreman, and Magidor from [18].
Definition 8.1
(cf. [23, Definition 6] & [10, Definition 1.1]) Let \({\mathcal {K}}\) be a set of regular cardinals with supremum \(\lambda \). Suppose that \(S_{\kappa }\subseteq \kappa \) for each \(\kappa \in {\mathcal {K}}\). Then \(\langle S_\kappa : \kappa \in {\mathcal {K}}\rangle \) is mutually stationary if and only if for all algebras \({\mathcal {A}}\) on \(\lambda \), there is an elementary substructure \({\mathcal {B}}\prec {\mathcal {A}}\) such that for all \(\kappa \in {\mathcal {B}}\cap {\mathcal {K}}\), sup(\({\mathcal {B}}\cap \kappa )\in S_{\kappa }\).
Theorem 8.2
(Cummings, Foreman, and Magidor; cf. [18, Theorem 5.2]) Let \(\langle \kappa _{i}: i< \delta \rangle \) be an increasing sequence of measurable cardinals, where \(\delta <\kappa _{0}\) is a regular cardinal. Let \(S_{i}\subseteq \kappa _{i}\) be stationary for each \(i<\delta \). Then \(\langle S_i: i<\delta \rangle \) is mutually stationary.
The Proof of Observation 1.11
We recall the choiceless model constructed in [14, Theorem 1] and the terminologies from [14]. In particular we fix an arbitrary \(n_{0}\in \omega \) and assume an increasing sequence of measurable cardinals \(\langle \chi _{k}:k<\omega \rangle \) in the ground model V of \(\textsf {ZFC}\). Then we consider the choiceless model constructed in [14, Theorem 1]. For the sake of convenience we call the model \({\mathcal {N}}_{n_{0}}\) and recall the relevant lemmas from [14].
Lemma 8.3
(cf. [14, Lemma 1.1]) If \(X\in {\mathcal {N}}_{n_{0}}\) is a set of ordinals, then \(X\in V[G\restriction f]\) for some \(f\in K\).
Lemma 8.4
(cf. [14, Lemma 1.2]) Let \(\lambda =\bigcup _{k<\omega }\chi _{k}\). Then \(\lambda =\aleph _{\omega }\) in \({\mathcal {N}}_{n_{0}}\)
Proof
(of Observation 1.11) We note that in \({\mathcal {N}}_{n_{0}}\), \(\chi _{k}=\aleph _{n_{0}+2(k+1)}\) for each \( k<\omega \). Let \(\lambda =\bigcup _{k<\omega }\chi _{k}\) in V.

(1)
Following the arguments in [21, Lemma 1.36], \(\aleph _{n_{0}+2(k+1)}\) is a measurable cardinal in \({\mathcal {N}}_{n_{0}}\), for each \(1\le k<\omega \). Following [27, Theorem 4.3], for each \(1\le k<\omega \), there are no uniform ultrafilters on \(\aleph _{n_{0}+2k+1}\) in \({\mathcal {N}}_{n_{0}}\). Consequently for each \(1\le k<\omega \), \(\aleph _{n_{0}+2k+1}\) can not be a measurable cardinal in \({\mathcal {N}}_{n_{0}}\).

(2)
We prove that in the model \({\mathcal {N}}_{n_{0}}\), if \(\langle S_{k}: 1\le k <\omega \rangle \) is a sequence of stationary sets such that \(S_{k}\subseteq \chi _{k}\) for every \(1\le k <\omega \), then \(\langle S_{k}: 1\le k <\omega \rangle \) is mutually stationary. By Lemma 8.4, \(\lambda =\aleph _{\omega }\) in \({\mathcal {N}}_{n_{0}}\).
Suppose \({\mathcal {N}}_{n_{0}}\models ``{\mathcal {A}}\) is an algebra on \(\lambda \) and \(\langle S_{k}: 1\le k <\omega \rangle \) is a sequence of stationary sets such that \(S_{k}\subseteq \chi _{k}\) for every \(1\le k <\omega \)”. Since both \({\mathcal {A}}\) and \(\langle S_{k}: 1\le k <\omega \rangle \) can be coded by set of ordinals, by Lemma 8.3, there exists some \(f\in K\) for which both \(\langle S_{k}: 1\le k <\omega \rangle \in V[G\restriction f]\) and \({\mathcal {A}}\in V[G\restriction f]\).
Following [14, Lemma 1.3], \(\chi _k\) remains measurable in \(V[G\restriction f]\) for every \(1\le k <\omega \). We can observe that \(S_{k}\) is a stationary subset of \(\chi _{k}\) in \(V[G\restriction f]\) for every \(1\le k <\omega \). Fix any \(1\le k <\omega \). Let C be any club subset of \(\chi _{k}\) in \(V[G\restriction f]\). Since the notion of club subset of \(\chi _{k}\) is upward absolute and \(V[G\restriction f]\subseteq {\mathcal {N}}_{n_{0}}\), C is also a club subset of \(\chi _{k}\) in \({\mathcal {N}}_{n_{0}}\). Since in \({\mathcal {N}}_{n_{0}}, S_{k}\) is a stationary subset of \(\chi _{k}\) we have \(S_{k}\cap C\not = \emptyset \). Thus, \(S_{k}\) is a stationary subset of \(\chi _{k}\) in \(V[G\restriction f]\) for every \(1\le k <\omega \). By Theorem 8.2, \(\langle S_{k}: 1\le k <\omega \rangle \) is mutually stationary in \(V[G\restriction f]\).
We note that \({\mathcal {A}}\) is an algebra on \(\lambda \) in \(V[G\restriction f]\). Thus there is an elementary substructure \({\mathcal {B}}\prec {\mathcal {A}}\) in \(V[G\restriction f]\) such that for all \(k<\omega , sup({\mathcal {B}}\cap \chi _{k})\in S_{k}\) by Definition 8.1. So there is an elementary substructure \({\mathcal {B}}\prec {\mathcal {A}}\) in \({\mathcal {N}}_{n_{0}}\) such that for all \(k<\omega , sup({\mathcal {B}}\cap \chi _{k})\in S_{k}\). Hence in \({\mathcal {N}}_{n_{0}}\), \(\langle S_{k}: 1\le k <\omega \rangle \) is mutually stationary.

(3)
We recall that \(\lambda =\aleph _{\omega }\) in \({\mathcal {N}}_{n_{0}}\). We can see that \(\lambda \) is an almost Ramsey cardinal in \({\mathcal {N}}_{n_{0}}\) by a wellknown argument from [2, Lemma 2.5]. For reader’s convenience, we provide a sketch of the proof. Let \(f:[\lambda ]^{<\omega }\rightarrow 2\) be in \({\mathcal {N}}_{n_{0}}\). Since f can be coded by a set of ordinals, \(f\in V[G\restriction f]\) for some \(f\in K\) by Lemma 8.3. Following [14, Lemma 1.3], \(\chi _k\) remains measurable in \(V[G\restriction f]\) for every \(1\le k <\omega \). Consequently, \(\chi _{k}\) is Ramsey in \(V[G\restriction f]\) for every \(1\le k <\omega \). Now, in \(V[G\restriction f]\), \(\lambda \) is the supremum of Ramsey cardinals \(\langle \chi _{i}: 1\le i<\omega \rangle \). Thus \(\lambda \) is an almost Ramsey cardinal in \(V[G\restriction f]\) by [6, Proposition 1]. Thus for all \(\beta <\lambda \), there is a set \(X_{\beta }\in V[G\restriction f]\subseteq {\mathcal {N}}_{n_{0}}\) which is homogeneous for f and has order type at least \(\beta \). Hence, \(\lambda \) is almost Ramsey in \({\mathcal {N}}_{n_{0}}\) since f was arbitrary.
\(\square \)
Notes
\(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle \) is a symmetric system if \({\mathbb {P}}\) is a forcing notion, \({\mathcal {G}}\) is a group of automorphisms of \({\mathbb {P}}\), and \({\mathcal {F}}\) is a normal filter of subgroups over \({\mathcal {G}}\).
As for an example, the forcing notion \({\mathbb {P}}(\kappa )\) which adds a nonreflecting stationary set of cofinality \(\omega \) ordinals in \(\kappa \), is \(\kappa \)strategically closed but not even \(\omega _{2}\)closed. (cf. [19, section 6]).
As for an example, the forcing notion for killing a stationary subset of \(\omega _{1}\), is \(\omega _{1}\)distributive but not even \(<\omega _{1}\)strategically closed (cf. [19, section 6]).
The Levy collapse \(Col(\lambda ,<\kappa )\) is weakly homogeneous, given an infinite cardinal \(\kappa \) and a regular cardinal \(\lambda \).
In Howard–Rubin’s first model (\({\mathcal {N}}_{38}\) in [28]), \(\textsf {AC}_{\omega }\) holds but \(\textsf {DC}_{\omega }\) fails.
If we assume \(\eta >\omega \).
Alternatively, we also recall the definition of a strongly compact Prikry forcing \({\mathbb {P}}_{{\mathcal {U}}}\) from [5]. Let \({\mathcal {U}}\) be a fine measure on \({\mathcal {P}}_{\kappa }(\lambda )\) and \({\mathcal {F}}=\{f: f\) is a function from \([{\mathcal {P}}_{\kappa }(\lambda )]^{<\omega }\) to \({\mathcal {U}}\}\). In particular, \({\mathbb {P}}_{{\mathcal {U}}}\) is the set of all finite sequences of the form \(\langle p_{1},\ldots p_{n},f\rangle \) satisfying the following properties.

\(\langle p_{1},\ldots p_{n}\rangle \in [{\mathcal {P}}_{\kappa }(\lambda )]^{<\omega }\).

for \(0\le i<j\le n\), \(p_{i}\cap \kappa \not = p_{j}\cap \kappa \).

\(f\in {\mathcal {F}}\).
The ordering on \({\mathbb {P}}_{{\mathcal {U}}}\) is given by \(\langle q_{1},\ldots q_{m},g\rangle \le \langle p_{1},\ldots ,p_{n},f\rangle \) if and only if we have the following.

\(n\le m\).

\(\langle p_{1},\ldots ,p_{n}\rangle \) is the initial segment of \(\langle q_{1},\ldots ,q_{m}\rangle \).

For \(i=n+1,\ldots , m\), \(q_{i}\in f(\langle p_{1},\ldots ,p_{n}, q_{n+1},\ldots ,q_{i1}\rangle )\).

For \(\overrightarrow{s}\in [{\mathcal {P}}_{\kappa }(\lambda )]^{<\omega }\), \(g(\overrightarrow{s})\subseteq f(\overrightarrow{s})\).
For any regular \(\delta \in [\kappa ,\lambda ]\), we denote \(r\restriction {\delta }=\{\langle p_{0}\cap \delta ,\ldots p_{n}\cap \delta \rangle : \exists f\in {\mathcal {F}} \left[ \langle p_{0},\ldots p_{n},f\rangle \in G\right] \}\). In \(V[r\restriction \kappa ]\subseteq V[G]\), \(\kappa \) is a singular cardinal having cofinality \(\omega \). Since any two conditions having the same stems are compatible, i.e. any two conditions of the form \(\langle p_{1},\ldots ,p_{n},f\rangle \) and \(\langle p_{1},\ldots ,p_{n},g \rangle \) are compatible., \({\mathbb {P}}_{{\mathcal {U}}}\) is \((\lambda ^{<\kappa })^{+}\)c.c.

i.e., the arguments of [24, Lemma 1.9].
We can observe another argument from [5, Lemma 2.2].
In this case, it is equivalent to full support.
References
Apter, A., Cody, B.: Consecutive singular cardinals and the continuum function. Notre Dame J. Form. Logic 54(2), 125–136 (2013). https://doi.org/10.1215/002945271960434
Apter, A., Dimitriou, I., Koepke, P.: All uncountable cardinals in the Gitik model are almost Ramsey and carry Rowbottom filters. MLQ Math. Log. Q. 62(3), 225–231 (2016). https://doi.org/10.1002/malq.201400050
Apter, A., Dimitriou, I., Koepke, P.: The first measurable cardinal can be the first uncountable cardinal at any successor height. MLQ Math. Log. Q. 60(6), 471–486 (2014). https://doi.org/10.1002/malq.201110007
Apter, A., Dimopoulos, S., Usuba, T.: Strongly compact cardinals and the continuum function. Ann. Pure Appl. Logic 172(9), 103013 (2021). https://doi.org/10.1016/j.apal.2021.103013
Apter, A., Henle, J.: Relative consistency results via strong compactness. Fundam. Math. 139(2), 133–149 (1991). https://doi.org/10.4064/fm1392133149
Apter, A., Koepke, P.: Making all cardinals almost Ramsey. Arch. Math. Logic 47(7–8), 769–783 (2008). https://doi.org/10.1007/s0015300801071
Apter, A., Koepke, P.: The consistency strength of \(\aleph _{\omega }\) and \(\aleph _{\omega _1}\) being rowbottom cardinals without the axiom of choice. Arch. Math. Logic 45(6), 721–737 (2006). https://doi.org/10.1007/s0015300600053
Apter, A., Magidor, M.: Instances of dependent choice and the measurability of \(\aleph _{\omega + 1}\). Ann. Pure Appl. Logic 74(3), 203–219 (1995). https://doi.org/10.1016/01680072(94)000396
Apter, A.: On some questions concerning strong compactness. Arch. Math. Logic 51(7–8), 819–829 (2012). https://doi.org/10.1007/s0015301203000
Apter, A.: On a problem of Foreman and Magidor. Arch. Math. Logic 44(4), 493–498 (2005). https://doi.org/10.1007/s0015300402596
Apter, A.: Some remarks on normal measures and measurable cardinals. Math. Log. Q. 47(1), 35–44 (2001). https://doi.org/10.1002/15213870(200101)47:1<35::AIDMALQ35>3.0.CO;2C
Apter, A.: Successors of singular cardinals and measurability. Adv. Math. 55(3), 228–241 (1985). https://doi.org/10.1016/00018708(85)900921
Apter, A.: Some results on consecutive large cardinals. Ann. Pure Appl. Logic 25(1), 1–17 (1983). https://doi.org/10.1016/01680072(83)900519
Apter, A.: On a problem of silver. Fundam. Math. 116(1), 33–38 (1983). https://doi.org/10.4064/fm11613338
Bull, E.L., Jr.: Successive large cardinals. Ann. Math. Logic 15(2), 161–191 (1978). https://doi.org/10.1016/00034843(78)900190
Blass, A., Dimitriou, I., Löwe, B.: Inaccessible cardinals without the axiom of choice. Fundam. Math. 194(2), 179–189 (2007). https://doi.org/10.4064/fm19423
Bilinsky, E., Gitik, M.: A model with a measurable which does not carry a normal measure. Arch. Math. Logic 51(7–8), 863–876 (2012). https://doi.org/10.1007/s001530120302y
Cummings, J., Foreman, M., Magidor, M.: Canonical structure in the universe of set theory: part two. Ann. Pure Appl. Logic 142(1–3), 55–75 (2006). https://doi.org/10.1016/j.apal.2005.11.007
Cummings, J.: Iterated forcing and elementary embeddings. In: Handbook of Set Theory, vol. 1, 2, 3. Springer, Dordrecht, pp. 775–883 (2010). https://doi.org/10.1007/9781402057649_13
Dobrinen, N., Friedman, S.D.: Homogeneous iteration and measure one covering relative to HOD. Arch. Math. Logic 47(7–8), 711–718 (2008). https://doi.org/10.1007/s0015300801035
Dimitriou, I.: Symmetric models, singular cardinal patterns, and indiscernibles. Ph.D. thesis, Universitätsund Landesbibliothek Bonn (2011)
Friedman, S.D., Magidor, M.: The number of normal measures. J. Symb. Log. 74(3), 1069–1080 (2009). https://doi.org/10.2178/jsl/1245158100
Foreman, M., Magidor, M.: Mutually stationary sequences of sets and the nonsaturation of the nonstationary ideal on \({\cal{P} }_{\kappa }(\lambda )\). Acta Math. 186(2), 271–300 (2001). https://doi.org/10.1007/BF02401842
Gitik, M.: Prikrytype forcings. In: Handbook of Set Theory, vol. 1, 2, 3. Springer, Dordrecht, pp. 1351–1447 (2010). https://doi.org/10.1007/9781402057649_17
Gitman, V., Johnstone, T.A.: On ground model definability. In: Infinity, Computability, and Metamathematics: Festschrift in Honour of the 60th birthdays of Peter Koepke and Philip Welch, Series: Tributes. College Publications, London, GB, pp. 205–227 (2014). arXiv: 1311.6789 [math.LO]
Grigorieff, S.: Intermediate submodels and generic extensions in set theory. Ann. Math. (2) 101(3), 447–490 (1975). https://doi.org/10.2307/1970935
Hayut, Y., Karagila, A.: Spectra of uniformity. Comment. Math. Univ. Carolin. 60(2), 285–298 (2019). https://doi.org/10.14712/12137243.2019.008
Howard, P., Rubin, J.E.: Consequences of the axiom of choice. Math. Surv. Monogr. (1998). https://doi.org/10.1090/surv/059
Inamdar, T.: Successor large cardinals in symmetric extensions, preprint. ILLC Publications X201302 (2013). https://eprints.illc.uva.nl/id/eprint/689
Ikegami, D., Trang, N.: On supercompactness of \(\omega _{1}\). arXiv:1904.01815 [math.LO] (2019)
Jech, T.: Set Theory. Springer Monographs in Mathematics, The third millennium edition, revised and expanded Springer, Berlin (2003). https://doi.org/10.1007/354044761X
Jech, T.: The Axiom of Choice. Studies in Logic and the Foundations of Mathematics, vol. 75. NorthHolland Publishing Co., Amsterdam (1973)
Jech, T.: \(\omega _1\) can be measurable. Isr. J. Math. 6(4), 363–367 (1968). https://doi.org/10.1007/BF02771215
Kanamori, A.: The Higher Infinite, Large Cardinals in Set Theory from Their Beginnings. Springer Monographs in Mathematics. Springer, Berlin (2003). https://doi.org/10.1007/9783540888673
Karagila, A.: Preserving dependent choice. Bull. Pol. Acad. Sci. Math. 67(1), 19–29 (2019). https://doi.org/10.4064/ba8169122018
Karagila, A.: Iterating symmetric extensions. J. Symb. Log. 84(1), 123–159 (2019). https://doi.org/10.1017/jsl.2018.73
Karagila, A.: Embedding orders into the cardinals with \({ DC}_{\kappa }\). Fundam. Math. 226, 143–156 (2014). https://doi.org/10.4064/fm22624
Kofkoulis, G.: Homogeneous sequences of cardinals for OD partition relations. Doctoral dissertation, California Institute of Technology (1990)
Kunen, K.: Set Theory: An Introduction to Independence Proofs. Studies in Logic and the Foundations of Mathematics, vol. 102. NorthHolland Publishing Co., Amsterdam (1980)
Lévy, A., Solovay, R.M.: Measurable cardinals and the continuum hypothesis. Isr. J. Math. 5(4), 234–248 (1967). https://doi.org/10.1007/BF02771612
Laver, R.: Making the supercompactness of \(\kappa \) indestructible under \(\kappa \)directed closed forcing. Isr. J. Math. 29, 385–388 (1978). https://doi.org/10.1007/BF02761175
Mitchell, W.J.: Sets constructible from sequences of ultrafilters. J. Symb. Log. 39(1), 57–66 (1974). https://doi.org/10.2307/2272343
Monro, G.P.: On generic extensions without the axiom of choice. J. Symb. Log. 48(1), 39–52 (1983). https://doi.org/10.2307/2273318
Takeuti, G.: A relativization of axioms of strong infinity to \(\omega _{1}\). Ann. Jpn. Assoc. Philos. Sci. 3(5), 191–204 (1970). https://doi.org/10.4288/jafpos1956.3.191
Woodin, W.H.: Suitable extender models I. J. Math. Log. 10(1–2), 101–339 (2010). https://doi.org/10.1142/S021906131000095X
Acknowledgements
The author would like to thank the reviewer for reading the manuscript in details and providing several suggestions for improvement. The author would like to thank Arthur Apter for communicating the homogeneous property of the strongly compact Prikry forcing mentioned in [5, Lemma 2.1] as well as for the conversations concerning Remarks 3.3 and 3.13. The author would like to thank Asaf Karagila for helping to translate the arguments of Apter from [11, Theorem 1] in terms of symmetric extension by a symmetric system \(\langle {\mathbb {P}},{\mathcal {G}},{\mathcal {F}}\rangle \). We constructed a similar symmetric extension to prove [35, Theorem 4.1].
Funding
Open access funding provided by ELKH Alfréd Rényi Institute of Mathematics. No funding was received for conducting this study.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interests
We declare no conflicts of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Banerjee, A. Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse. Arch. Math. Logic (2022). https://doi.org/10.1007/s00153022008453
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00153022008453
Keywords
 Dependent choice
 Symmetric extensions
 Lévy collapse
 Large cardinals
 Infinitary Chang conjecture
Mathematics Subject Classification
 03E25
 03E55
 03E35