How are Richard Dedekind's theories used today?

Richard Dedekind's theories on the foundations of mathematics, particularly his work on defining real numbers using cuts, are still relevant and used in the field of mathematics today. Dedekind cuts are a fundamental concept in analysis and set theory, forming the basis for modern treatments of real numbers and their properties. His contributions continue to influence mathematical research and education.