Searching for links to DedekindCut:
Dedekind
Euclid
Hamilton
Infinity
RealNumber