Conway and Doyle prove that it is possible to divide by 3. The paper, which is distributed under the GPL, unfortunately comes without a warranty. (via Gimbo)
It is possible to divide by 3
I discovered Conway and Doyle’s proof showing that division by three is possible in cardinal arithmetic without invoking the axiom of choice. The authors notably distributed their mathematical paper under the GNU General Public License.