Division by three

dc.creatorDoyle, Peter G.
dc.creatorConway, John Horton
dc.date2006-05-31
dc.date.accessioned2026-07-07T07:14:40Z
dc.date.available2026-07-07T07:14:40Z
dc.descriptionWe 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.
dc.descriptionVersion dated 1994
dc.identifierhttps://arxiv.org/abs/math/0605779
dc.identifierhttp://arxiv.org/abs/math/0605779
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/112971
dc.subjectLogic
dc.subjectCombinatorics
dc.subject03E10 (Primary); 03E25 (Secondary)
dc.titleDivision by three
dc.typetext

Files

Collections