We give a Bishop-style constructive analysis of the statement that a continuous homomorphism from the real line onto a compact metric abelian group is periodic; constructive versions of this statement and its contrapositive are given. It is shown that the existence of a minimal period in general is not derivable, but the minimal period is derivable under a simple geometric condition when the group is contained in two dimensional Euclidean space. A number of results about one-one and injective mappings are proved en route to our main theorems. A few Brouwerian examples show that some of our results are the best possible in a constructive framework.

No description available.

We give a Bishop-style constructive analysis of the statement that a continuous homomorphism from the real line onto a compact metric abelian group is periodic; constructive versions of this statement and its contrapositive are given. It is shown that the existence of a minimal period in general is not derivable, but the minimal period is derivable under a simple geometric condition when the group is contained in two dimensional Euclidean space. A number of results about one-one and injective mappings are proved en route to our main theorems. A few Brouwerian examples show that some of our results are the best possible in a constructive framework.

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

Thesis (M. Sc.)--University of Canterbury, 2009. / Typescript (photocopy). Includes bibliographical references (p. 47-48). Also available via the World Wide Web.

We present three criteria for compactness in the context of apartness spaces and Bishop-style constructive mathematics. Each of our three criteria can be summarised as requiring that there is a positive distance between any two disjoint closed sets. Neat locatedness and the product apartness give us three variations on this theme. We investigate how our three criteria relate to one another and to several existing compactness criteria, namely classical compactness, completeness, total boundedness, the anti-Specker property, and Diener's neat compactness.

Thesis (Ph. D.)--University of Canterbury, 2008. / Typescript (photocopy). Includes bibliographical references (p. 103-105). Also available via the World Wide Web.

Thesis (Ph. D.)--Oregon Graduate Center, 1987.

No description available.

No description available.