With the Axiom of Choice, the cardinals form a nice linearly ordered "set". In the absence of the Axiom of Choice, the cardinals form a partially ordered "set". Broadly, I am wondering what properties these posets can have.
A specific question I am interested in is the following.
Is there, for each (infinite) subset $S \subseteq \mathbb{N}$ containing $1$ and not containing $0$, a model of ZF in which there is a maximal antichain of cardinals of size $n$ if and only if $n \in S$?Though I have a mild interest in knowing how such a model would be constructed (assuming a positive answer), my primary interest is in knowing that it is (is not) possible. Hence, if such a result exists in the literature, a citation would be all that I ask for.