Return to search

A Constructive Theory of Ordered Sets and their Completions

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 R by only considering the order on R. We instead
develop a theory of ordered sets and their completions and a theory of ordered abelian
groups. / Includes bibliography. / Dissertation (Ph.D.)--Florida Atlantic University, 2018. / FAU Electronic Theses and Dissertations Collection

Identiferoai:union.ndltd.org:fau.edu/oai:fau.digital.flvc.org:fau_40818
ContributorsJoseph, Jean S. (author), Richman, Fred (Thesis advisor), Florida Atlantic University (Degree grantor), Charles E. Schmidt College of Science, Department of Mathematical Sciences
PublisherFlorida Atlantic University
Source SetsFlorida Atlantic University
LanguageEnglish
Detected LanguageEnglish
TypeElectronic Thesis or Dissertation, Text
Format50 p., application/pdf
RightsCopyright © is held by the author, with permission granted to Florida Atlantic University to digitize, archive and distribute this item for non-profit research and educational purposes. Any reuse of this item in excess of fair use or other copyright exemptions requires permission of the copyright holder., http://rightsstatements.org/vocab/InC/1.0/

Page generated in 0.0018 seconds