We show that from a supercompact cardinal $\kappa$, there is a forcing extension $V[G]$ that has a symmetric inner model $N$ in which $\mathrm {ZF}+\lnot\mathrm {AC}$ holds, $\kappa$ and $\kappa^{+}$ are both singular, and the continuum function at $\kappa$ can be precisely controlled, in the sense that the final model contains a sequence of distinct subsets of $\kappa$ of length equal to any predetermined ordinal. We also show that the above situation can be collapsed to obtain a model of $\mathrm (...) {ZF}+\lnot\mathrm {AC}_{\omega}$ in which either $\aleph_{1}$ and $\aleph_{2}$ are both singular and the continuum function at $\aleph_{1}$ can be precisely controlled, or $\aleph_{\omega}$ and $\aleph_{\omega+1}$ are both singular and the continuum function at $\aleph_{\omega}$ can be precisely controlled. Additionally, we discuss a result in which we separate the lengths of sequences of distinct subsets of consecutive singular cardinals $\kappa$ and $\kappa^{+}$ in a model of $\mathrm {ZF}$. Some open questions concerning the continuum function in models of $\mathrm {ZF}$ with consecutive singular cardinals are posed. (shrink)

We obtain 2 models in which AC is false and in which there are long sequences of consecutive large cardinals.

Using work of Devlin and Schindler in conjunction with work on Prikry forcing in a choiceless context done by the author, we show that two choiceless cardinal patterns have consistency strength of at least one Woodin cardinal.

A question of Woodin asks if κ is strongly compact and GCH holds below κ, then must GCH hold everywhere? One variant of this question asks if κ is strongly compact and GCH fails at every regular cardinal δ < κ, then must GCH fail at some regular cardinal δ ≥ κ? Another variant asks if it is possible for GCH to fail at every limit cardinal less than or equal to a strongly compact cardinal κ. We get a negative (...) answer to the first of these questions and positive answers to the second of these questions for a supercompact cardinal κ in the context of the absence of the full Axiom of Choice. (shrink)