17
$\begingroup$

Question: Does Con($ZF$) imply Con($ZF$ + $DC$ + "there is no paradoxical Banach-Tarski decomposition of the unit ball")?

Here Con($X$) is the consistency of $X$; $DC$ is dependent choice.

Motivation for the Question: Since the "paradoxical" sets in the Banach-Tarski theorem have to be non-measurable, Solovay's model of "every subset of reals is measurable" shows:

Theorem. Con($ZF$+ Inacc) implies Con($ZF$ + $DC$ + "there is no paradoxical Banach-Tarski decomposition of the unit ball").

In the above Inacc is the statement "there is an inaccessible cardinal".

Note that Shelah's model [Israel Journal of Math, 1984], constructed only from Con($ZF$), in which $DC$ holds and all sets of reals have the Baire property, is of no help in answering the above question since Dougherty and Foreman [ J. Amer. Math. Soc., 1994] have shown that there are paradoxical decompositions of the unit ball using pieces which have the property of Baire. I do not know how much choice is needed in their construction.

This question was posed a while ago on an FOM-posting of mine, but remained unanswered.

$\endgroup$
5
  • $\begingroup$ Ali, are you implicitly taking a position on the consistency of inaccessible cardinals? After all, if we believe Con(ZF+Inacc) is true, then the material implication of your question would follow by the Solovay result. But probably you mean to ask whether the implication is provable in some specific weak theory, such as ZFC or much weaker, rather than whether it is true. $\endgroup$ Aug 12 '11 at 17:06
  • $\begingroup$ Joel: My question is motivated on the question whether "there is no paradoxical decomposition" has large cardinal strength. All relative consistency results are verifiable in Primitive Recursive Arithmetic (including the forcing ones), but for the purposes of my question, we can take the meta-theory to be PA or even second order arithmetic. $\endgroup$
    – Ali Enayat
    Aug 12 '11 at 17:36
  • $\begingroup$ Yes, Ali, I was merely trying to tease you, since you appeared to ask the question as a material implication. $\endgroup$ Aug 12 '11 at 18:07
  • $\begingroup$ Joel: I see, I guess I was being too literal in answering you; but others may find this literal answer useful in clarifying the question. $\endgroup$
    – Ali Enayat
    Aug 12 '11 at 18:32
  • $\begingroup$ Although I haven't read the Dougherty--Foreman paper, I remember Kechris telling me that their construction was effective, so this confirms your suspicion that Shelah's model does not answer your question. $\endgroup$ Jul 17 '12 at 20:08
9
$\begingroup$

A positive answer is proved in S. Wagon's book "The Banach-Tarski Paradox", Theorem 13.2. Specifically, the statement proved there is:

Con(ZF) $\leftrightarrow$ Con(ZF + DC + GM),

where GM is the existence of an isometry-invariant measure on all subsets of $\mathbb R^n$ taking the value $1$ on the unit cube.

$\endgroup$
1
  • 3
    $\begingroup$ According to Wagon, the model of ZF+DC+GM is obtained the same way as Solovay's except only after adding $\aleph_1$ random reals. $\endgroup$ Oct 15 '13 at 2:18

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.