Division by three

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
Version dated 1994

Keywords

Logic, Combinatorics, 03E10 (Primary); 03E25 (Secondary)

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/112971

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/0605779
 http://arxiv.org/abs/math/0605779

Collections

arXiv