A Constructive Theory of Ordered Sets and their Completions

File
Publisher
Florida Atlantic University
Date Issued
2018
EDTF Date Created
2018
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.
Note

Includes bibliography.

Language
Type
Extent
50 p.
Identifier
FA00013007
Additional Information
Includes bibliography.
Dissertation (Ph.D.)--Florida Atlantic University, 2018.
FAU Electronic Theses and Dissertations Collection
Date Backup
2018
Date Created Backup
2018
Date Text
2018
Date Created (EDTF)
2018
Date Issued (EDTF)
2018
Extension


FAU

IID
FA00013007
Organizations
Person Preferred Name

Joseph, Jean S.

author

Graduate College
Physical Description

application/pdf
50 p.
Title Plain
A Constructive Theory of Ordered Sets and their Completions
Use and Reproduction
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/
Origin Information

2018
2018
Florida Atlantic University

Boca Raton, Fla.

Physical Location
Florida Atlantic University Libraries
Place

Boca Raton, Fla.
Sub Location
Digital Library
Title
A Constructive Theory of Ordered Sets and their Completions
Other Title Info

A Constructive Theory of Ordered Sets and their Completions