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
Identifer | oai:union.ndltd.org:fau.edu/oai:fau.digital.flvc.org:fau_40818 |
Contributors | Joseph, Jean S. (author), Richman, Fred (Thesis advisor), Florida Atlantic University (Degree grantor), Charles E. Schmidt College of Science, Department of Mathematical Sciences |
Publisher | Florida Atlantic University |
Source Sets | Florida Atlantic University |
Language | English |
Detected Language | English |
Type | Electronic Thesis or Dissertation, Text |
Format | 50 p., application/pdf |
Rights | Copyright © 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