Date: Oct 4, 2017 3:14 PM
Author: Markus Klyver
Subject: Re: Real number construction, Eudoxus version!

Den måndag 2 oktober 2017 kl. 17:04:03 UTC+2 skrev Zelos Malum:
> Hey John, entertain us by seeing how you butcher this!
> https://arxiv.org/pdf/math/0405454.pdf


This is a very interesting constriction and particularly that it constructs the reals from integers and not rationals.