Model
Digital Document
Publisher
Florida Atlantic University
Description
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.
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.
Member of