Lecture 4 - Continuing Our Construction of Reals
We talked about Dedekind Cuts, Constructing R. We then made the addition operator for these cuts via Addition on R (via Dedekind Cuts).
We now can define Multiplication on R (via Dedekind Cuts).
We then needed to prove Cantor's Approach