So I've been thinking about the axiom of choice (AC) and the axiom of determinacy (AD), which are known to be inconsistent with each other. Some qualitative similarities of them are:
- they are both trivial in the 'finite' case
- they have useful consequences (the AC arguably more so, but e.g. AD implies that all subsets of $\mathbb R$ are measurable, so for the sake of the argument lets say they are both useful)
Now I wonder: the axiom of choice has also seemingly paradoxical (e.g. Banach-Tarski) or seemingly 'too strong' implications (e.g. the well ordering theorem). Is there a similar example concerning the axiom of determinacy? I.e. is there an example of a consequence of AD which in some sense feels paradoxical or too strong?
Well. You can partition the real numbers into more non empty sets than points. In fact, there is a very long sequence of partitions which refine each other, starting from the reals, and each has more cells than the previous one.
If that's not counterintuitive, I don't know what is.
Under additional assumptions you also have that every countable partial order can be embedded into the cardinals between the reals and their power set. Again if this is not odd, you need to define better what would these weird situations be.