Vol. 31, No. 1, 1969

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 331: 1
Vol. 330: 1  2
Vol. 329: 1  2
Vol. 328: 1  2
Vol. 327: 1  2
Vol. 326: 1  2
Vol. 325: 1  2
Vol. 324: 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
Cohesive sets and recursively enumerable Dedekind cuts

Robert Irving Soare

Vol. 31 (1969), No. 1, 215–231
Abstract

In this paper the methods of recursive function theory are applied to certain classes of real numbers as determined by their Dedekind cuts or by their binary expansions. Instead of considering recursive real numbers as in constructive analysis, we examine real numbers whose lower Dedekind cut is a recursively enumerable (r.e.) set of rationals, since the r.e. sets constitute the most elementary nontrivial class which includes nonrecursive sets. The principal result is that the sets A of natural numbers which “determine” such real numbers α (in the sense that the characteristic function of A corresponds to the binary expansion of α) may be very far from being r.e., and may even be cohesive. This contrasts to the case of recursive real numbers, where A is recursive if and only if the corresponding lower Dedekind cut is recursive.

Mathematical Subject Classification
Primary: 02.70
Milestones
Received: 27 June 1967
Revised: 18 February 1969
Published: 1 October 1969
Authors
Robert Irving Soare