Partition of non-well-orderable sets

axiom-of-choiceset-theory

Call a non-well-orderable set "simple'' if whenever it is partitioned into two pieces, one of them is well-orderable.

Does ZF prove that every non-well-orderable set has a simple non-well-orderable subset?

Best Answer

Let me add another example, namely Cohen's first model. In that model we have a subset of $\Bbb R$ which is an infinite Dedekind-finite set, $A$. I claim that this $A$, and indeed any infinite Dedekind-finite subset of $\Bbb R$, is not well-orderable, and it is not simple.

To see that, first note that $A$ is not amorphous. Recall that a set is called amorphous if every partition into two parts has one of those be finite. But amorphous sets cannot be linearly ordered, so $A$ is not amorphous. Next, since $A$ is Dedekind-finite, every well-orderable subset is finite.

So, if a Dedekind-finite is not amorphous, it is not simple. Moreover, any subset of a Dedekind-finite set is Dedekind-finite. And so, once it can be linearly ordered, it is immediately hereditarily "not simple". And that is indeed the case in Cohen's model.

Related Question