Searching for links to Dedekind:
DedekindCut
TimeLine