Talk:List of things named after Richard Dedekind