Some questions and answers like this and this on Math Overflow suggest an ordering of large cardinals. I was wondering if there is any similar structure associated with $\text{ZF} + \neg \text{AC}$. In particular I am interested in the netherworld between finite and infinite.
For convenience augment the language of $\text{ZF}$ with a symbol $\omega$ for the least infinite ordinal. Let $\Psi_{i}(x)$ be the formula with one free variable that says there is a one-to-one map from $\omega$ into $x$. Let $\Psi_{f}(x)$ be the formula with one free variable that says for some element $n \in\omega$ there exists a one-to-one onto function from $n$ to $x$. The subscripts $i$ and $f$ are used to indicate versions of "infinite" and "finite".
Finally suppose we have a collection $\{ \Phi_{j} \colon j \in J \} $ of distinct formulas in one free variable. For each $j \in J$ suppose we have $\text{ZF} + \text{AC} \vdash \forall x (\Phi_{j}(x) \implies \Psi_{i}(x)) $
but it is consistent with $\text{ZF} + \neg \text{AC}$ for there to exist a set $x$ satisfying $\Phi_{j}(x) \& \neg \Psi_{f}(x) \& \neg \Psi_{i}(x)$.
Is it known that there is some kind of order for sets of formulas like $\{ \Phi_{j} \colon j \in J \} $ in the same way that there seems to be a nice order for large cardinal axioms? I don't know that it would be linear. That would be truly weird. What I am thinking about is something on the order of $\text{ZF} \vdash \exists x \Phi_{0}(x) \implies \exists x \Phi_{1}(x).$ I have picked one method of describing the space between finite and infinite. This is probably not the only way and may not be the best way. If there happens to be other descriptions for which actual results are known feel free to include those.