A Rigorous Introduction to the Reals

Author
Gaurav Goel
License
Creative Commons CC BY 4.0
Abstract

A rigorous construction of the field of real numbers: the unique (up to isomorphism) completely ordered field with the least upper bound property; along with various formulations of completeness and with a postlude on the measure of sets.

A Rigorous Introduction to the Reals