Vol. 15, No. 4, 1965

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 307: 1  2
Vol. 306: 1  2
Vol. 305: 1  2
Vol. 304: 1  2
Vol. 303: 1  2
Vol. 302: 1  2
Vol. 301: 1  2
Vol. 300: 1  2
Online Archive
Volume:
Issue:
     
The Journal
Editorial Board
Subscriptions
Officers
Special Issues
Submission Guidelines
Submission Form
Contacts
ISSN: 1945-5844 (e-only)
ISSN: 0030-8730 (print)
Author Index
To Appear
 
Other MSP Journals
On relative coimmunity

Thomas Graham McLaughlin

Vol. 15 (1965), No. 4, 1319–1327
Abstract

The paper relates to questions raised by A. A. Muchnik in a 1956 Doklady abstract, namely, whether a noncreative r.e. set can be simple in a creative one, and whether a creative r.e. set can be simple in a noncreative one. We furnish a negative answer to the second question, and give a variety of partial results having to do with the first. Thus, we show that no universal set can have immune relative complement inside a noncreative r.e. set and that any r.e. set which is hyperhypersimple in a creative set must itself be creative; whereas, there exist three sets α, β, γ, α β γ, such that β is creative, α and γ are nonuniversal, and both β α and γ β are hyperhyperimmune.

In addition, we answer two questions of J. P. Cleave regarding the comparison of effectively inseparable (e.i.) and “almost effectively inseparable” (almost e.i.) sequences of r.e. sets. Thus: a sequence can be almost e.i. without being e.i.; and an almost e.i. sequence of disjoint r.e. sets may have a noncreative union.

Mathematical Subject Classification
Primary: 02.70
Milestones
Received: 6 June 1963
Revised: 16 July 1964
Published: 1 December 1965
Authors
Thomas Graham McLaughlin