Journal of Symbolic Logic 78 (3):977-988 (2013)

Authors
Andrew Lewis
Graduate Theological Union
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl.7803150
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,077
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Mass Problems and Randomness.Stephen G. Simpson - 2005 - Bulletin of Symbolic Logic 11 (1):1-27.
The Degrees of Bi-Immune Sets.Carl G. Jockusch - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (7-12):135-140.
The Degrees of Bi‐Immune Sets.Carl G. Jockusch - 1969 - Mathematical Logic Quarterly 15 (7‐12):135-140.
Upward Closure of Bi-Immune Degrees.Carl G. Jockusch - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (16-18):285-287.
Upward Closure of Bi‐Immune Degrees.Carl G. Jockusch - 1972 - Mathematical Logic Quarterly 18 (16‐18):285-287.

Add more references

Citations of this work BETA

Ramsey-Type Graph Coloring and Diagonal Non-Computability.Ludovic Patey - 2015 - Archive for Mathematical Logic 54 (7-8):899-914.
A DNC Function That Computes No Effectively Bi-Immune Set.Achilles A. Beros - 2015 - Archive for Mathematical Logic 54 (5-6):521-530.
Totally Non-Immune Sets.Athanassios Tzouvaras - 2015 - Mathematical Logic Quarterly 61 (1-2):103-116.
Forcing with Bushy Trees.Mushfeq Khan & Joseph S. Miller - 2017 - Bulletin of Symbolic Logic 23 (2):160-180.

Add more citations

Similar books and articles

Derivatives of Computable Functions.Ning Zhong - 1998 - Mathematical Logic Quarterly 44 (3):304-316.
Comparing DNR and WWKL.Klaus Ambos-Spies, Bjørn Kjos-Hanssen, Steffen Lempp & Theodore A. Slaman - 2004 - Journal of Symbolic Logic 69 (4):1089-1104.
H‐Monotonically Computable Real Numbers.Xizhong Zheng, Robert Rettinger & George Barmpalias - 2005 - Mathematical Logic Quarterly 51 (2):157-170.
Lp -Computability.Ning Zhong & Bing-Yu Zhang - 1999 - Mathematical Logic Quarterly 45 (4):449-456.
Computability & Unsolvability.Martin Davis - 1958 - Dover Publications.
Bounded Iteration and Unary Functions.Stefano Mazzanti - 2005 - Mathematical Logic Quarterly 51 (1):89-94.
Effective Borel Measurability and Reducibility of Functions.Vasco Brattka - 2005 - Mathematical Logic Quarterly 51 (1):19-44.
Infinite Time Turing Machines With Only One Tape.D. E. Seabold & J. D. Hamkins - 2001 - Mathematical Logic Quarterly 47 (2):271-287.
Computability of Measurable Sets Via Effective Topologies.Yongcheng Wu & Decheng Ding - 2006 - Archive for Mathematical Logic 45 (3):365-379.
Weak Presentations of Computable Fields.Carl G. Jockusch & Alexandra Shlapentokh - 1995 - Journal of Symbolic Logic 60 (1):199 - 208.

Analytics

Added to PP index
2016-06-30

Total views
10 ( #877,273 of 2,454,555 )

Recent downloads (6 months)
1 ( #449,188 of 2,454,555 )

How can I increase my downloads?

Downloads

My notes