Completeness and the Alternate Completeness Axiom
Channel: Jason Aubrey
Date: 2015-10-01

Here we describe the completeness of the reals. We define completeness as saying that nonempty sets of reals which are bounded below have a greatest lower bound. We prove that this implies that nonempty sets of reals which are bounded above have a least upper bound. We follow the presentation in Dan Madden's notes for Math 323 at the University of Arizona.