Source: Dissertation Abstracts International, Volume: 79-10(E), Section: B.
Advisors: Fred Richman; Lee Klingler Committee members: Robert Lubarsky; Xiao-Dong Zhang.
Özet:
The context for the development of this work is constructive mathematics without the axiom of countable choice. By constructive mathematics, we mean mathematics done without the law of excluded middle. Our original goal was to give a list of axioms for the real numbers by only considering the order on the real numbers. We instead develop a theory of ordered sets and their completions and a theory of ordered abelian groups.