Tarski's theorem about choice
id:
tarski-s-theorem-about-choice-316-8710753
title:
Tarski's theorem about choice
text:
In mathematics, Tarski's theorem, proved by Alfred Tarski (1924), states that in ZF the theorem "For every infinite set A , there is a bijective map between the sets A and A × A " implies the axiom of choice. The opposite direction was already known, thus the theorem and axiom of choice are equivalent. Tarski told Jan Mycielski (2006) that when he tried to publish the theorem in Comptes Rendus de l'Académie des Sciences de Paris, Fréchet and Lebesgue refused to present it. Fréchet wrote that an
brand slug:
wiki
category slug:
encyclopedia
description:
Theorem equivalent to the Axiom of Choice
original url:
https://en.wikipedia.org/wiki/Tarski%27s_theorem_about_choice
date created:
date modified:
2023-10-18T22:20:19Z
main entity:
{"identifier":"Q2908743","url":"https://www.wikidata.org/entity/Q2908743"}
image:
fields total:
13
integrity:
14