0
$\begingroup$

Let $A,B$ be two sets such that $2A \cong 2B$ (here $2A := A \coprod A$). Then $A \cong B$. This can be proven without the axiom of choice, which means that one can explicitly construct a bijection $A \to B$ out of a bijection $2A \to 2B$. This is non-trivial and interesting, see the wonderful paper by Conway, Doyle, also for generalizations. The construction is infinitary, and therefore the following question comes into my mind.

Question. Is the assertion also true in ZF - {Axiom of Infinity}?

1 Answers 1

2

The axiom of infinity is equivalent to there being some infinite set. So either all sets are finite, in which case the result obviously holds by simple induction, or the axiom of infinity holds and one can apply the infinitary proof.

  • 0
    @ZhenLin That's true. So one has to add zero to this definition.2012-10-17