Tarski's theorem about choice
http://dbpedia.org/resource/Tarski's_theorem_about_choice
In mathematics, Tarski's theorem, proved by Alfred Tarski, states that in ZF the theorem "For every infinite set , there is a bijective map between the sets and " implies the axiom of choice. The opposite direction was already known, thus the theorem and axiom of choice are equivalent.
rdf:langString
rdf:langString
Tarski's theorem about choice
xsd:integer
320578
xsd:integer
1123353804
rdf:langString
Alfred Tarski
rdf:langString
Jan Mycielski
rdf:langString
Alfred
rdf:langString
Jan
rdf:langString
Mycielski
rdf:langString
Tarski
xsd:integer
1924
2006
rdf:langString
In mathematics, Tarski's theorem, proved by Alfred Tarski, states that in ZF the theorem "For every infinite set , there is a bijective map between the sets and " implies the axiom of choice. The opposite direction was already known, thus the theorem and axiom of choice are equivalent. Tarski told Jan Mycielski that when he tried to publish the theorem in Comptes Rendus de l'Académie des Sciences Paris, Fréchet and Lebesgue refused to present it. Fréchet wrote that an implication between two well known propositions is not a new result. Lebesgue wrote that an implication between two false propositions is of no interest.
xsd:nonNegativeInteger
3922