**Definition:** Let $\kappa$ be an $\aleph$ cardinal, we say that $\langle f_\alpha\colon\alpha\to\kappa\mid\alpha<\kappa^+\rangle$ is a *ladder* if every $f_\alpha$ is injective.

Equivalently this is the range of a choice function from every injection of $\alpha$ into $|\alpha|$ (for $\alpha<\kappa$ we can always assume the identity is taken). Such ladder implies automatically that $\kappa^+$ is regular, since the union of $\kappa$ enumerated sets of size $\kappa$ is at most of size $\kappa$. (Recall that for well ordered sets $\kappa\times\kappa=\kappa$ even without the axiom of choice)

For example, then, if $\omega_1$ is singular then there is no such ladder of countable ordinals, since this would imply that $\aleph_1=\aleph_0^+$ is regular, therefore the existence of ladders for every successor ordinal is not provable in ZF alone.

However if we assume the existence of an inaccessible cardinal we can have the situation where $\aleph_1$ is indeed regular but there is no ladder avail. Indeed this is a necessary requirement since in such situation $\omega_1$ is inaccessible in $L$.

Both the forcing which makes $\aleph_1$ singular and the one which makes it regular without a ladder are essentially the same: collapse a limit cardinal to $\aleph_1$ and take symmetry model which ensures that no ladder exists, while setting $\aleph_1$ to have the cofinality of collapsed cardinal, i.e. singular or regular (if it was inaccessible).

**Question I:** Can we do this trick by replacing $\aleph_1$ by $\aleph_\alpha$ for any non-limit ordinal? So for example, $\aleph_5$ would be singular or regular without a ladder.

**Question II:** We do not need an inaccessible cardinal to have $\omega_1$ singular, nor $\omega_2$ singular. However if we want them *both* to be singular it already implies $0^\#$ exists, and requires Woodin cardinals.

Suppose $\aleph_1$ and $\aleph_2$ are both regular, and neither has a ladder. Can we do that "just" from the existence of two inaccessible cardinals, or would such phenomenon imply that some very large cardinals are playing in the background?

allsuccessors, Woodin cardinals join the game to allow changing the successor of singular cardinals. I don't remember whether or not we found a solution for just "infinitely many successors don't have ladders", but I believe it would be relatively simple. $\endgroup$ – Asaf Karagila Jul 25 '12 at 22:13