On the ordered Dedekind real numbers in toposes

by L.A. Sbardellini and M.E. Coniglio