Division of three for cardinals without the axiom of choice. Formally, given 3x = 3y, the goal is to prove that x = y. (With the axiom of choice, you can prove that x = 3x for any infinite cardinal x, so the result is trivial in an uninteresting way.)

https://arxiv.org/pdf/math/0605779.pdf

Follow RSS/Atom feed for updates.