Searching for links to DedekindCut:
AllPages
Dedekind
DedekindCut
Euclid
Hamilton
Infinity
RealNumber