Vol. 111, No. 2, 1984

Recent Issues
Vol. 332: 1  2
Vol. 331: 1  2
Vol. 330: 1  2
Vol. 329: 1  2
Vol. 328: 1  2
Vol. 327: 1  2
Vol. 326: 1  2
Vol. 325: 1  2
Online Archive
Volume:
Issue:
     
The Journal
About the journal
Ethics and policies
Peer-review process
 
Submission guidelines
Submission form
Editorial board
Officers
 
Subscriptions
 
ISSN 1945-5844 (electronic)
ISSN 0030-8730 (print)
 
Special Issues
Author index
To appear
 
Other MSP journals
A uniformly continuous function on [0, 1] that is everywhere different from its infimum

William H. Julian and Fred Richman

Vol. 111 (1984), No. 2, 333–340
Abstract

An example of a uniformly continuous function on [0,1] that is everywhere different from its infimum is constructed in the context of Bishop’s constructive mathematics using a consequence of Chruch’s thesis. The existence of such a function is shown to be equivalent to the constructive denial of König’s lemma. Conversely König’s lemma is shown to be equivalent to the intuitionistic theorem that every positive uniformly continuous function on [0,1] has a positive infimum. Various applications to constructive mathematics are given.

Mathematical Subject Classification 2000
Primary: 03F60
Secondary: 26A15
Milestones
Received: 26 April 1982
Published: 1 April 1984
Authors
William H. Julian
Department of Mathematical Sciences
New Mexico State University
Las Cruces NM 88003
United States
Fred Richman