Asaf Karagila
I don't have much choice...

Posts tagged partition principle

Countable sets of reals

One of the classic results of Sierpinski is that if there are as many countable sets of reals as there are reals, then there is a set which is not Lebesgue measurable. (You can find a wonderful discussion on MathOverflow.)

This is fact is used in the paradoxical decomposition theorems (which I often enjoy bringing up as a counter-argument to bad arguments that the Banach–Tarski paradox implies we need to accept that all sets are measurable as an axiom):

Continue reading...

On the Partition Principle

Last Wednesday I gave a talk about the Partition Principle in our students seminar. This talk covered the historical background of the oldest open problem in set theory, and two proofs that for a long time I avoided learning. I promised to post a summary of the talk here. So here it is. The historical data was taken from the paper by Banaschewski and Moore, "The dual Cantor-Bernstein theorem and the partition principle." (MR1072073) as well Moore's wonderful book "Zermelo’s Axiom of Choice" (which has a Dover reprint!).

Continue reading...