Mathematics – Logic
Scientific paper
2006-05-31
Mathematics
Logic
Version dated 1994
Scientific paper
We prove without appeal to the Axiom of Choice that for any sets A and B, if there is a one-to-one correspondence between 3 cross A and 3 cross B then there is a one-to-one correspondence between A and B. The first such proof, due to Lindenbaum, was announced by Lindenbaum and Tarski in 1926, and subsequently `lost'; Tarski published an alternative proof in 1949. We argue that the proof presented here follows Lindenbaum's original.
Conway John Horton
Doyle Peter G.
No associations
LandOfFree
Division by three does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Division by three, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Division by three will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-711398