Constructing the Reals as Dedekind Cuts of Rationalsby Jacques D. Fleuriot and Lawrence C. Paulson24 Mar