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