Journal of Symbolic Logic 78 (1):113-138 (2013)

Abstract
This paper investigates indifferent sets for comeager classes in Cantor space focusing of the class of all 1-generic sets and the class of all weakly 1-generic sets. Jockusch and Posner showed that there exist 1-generic sets that have indifferent sets [10]. Figueira, Miller and Nies have studied indifferent sets for randomness and other notions [7]. We show that any comeager class in Cantor space contains a comeager class with a universal indifferent set. A forcing construction is used to show that any 1-generic set, or weakly 1-generic set, has an indifferent set. Such an indifferent set can by computed by any set in GL2 which bounds the (weakly) 1-generic. We show by approximation arguments that some, but not all, ∆0 1-generic sets can compute an indifferent set 2 for themselves. We show that all ∆0 weakly 1-generic sets can compute 2 an indifferent set for themselves. Additional results on indifferent sets, including one of Miller, and two of Fitzgerald, are presented.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl.7801080
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: 72,634
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

A Hierarchy of Computably Enumerable Degrees.Rod Downey & Noam Greenberg - 2018 - Bulletin of Symbolic Logic 24 (1):53-89.

Add more citations

Similar books and articles

Recursively Enumerable Generic Sets.Wolfgang Maass - 1982 - Journal of Symbolic Logic 47 (4):809-823.
Almost Weakly 2-Generic Sets.Stephen A. Fenner - 1994 - Journal of Symbolic Logic 59 (3):868-887.
Sets and Point-Sets: Five Grades of Set-Theoretic Involvement in Geometry.John P. Burgess - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:456 - 463.
The Stable Core.Sy-David Friedman - 2012 - Bulletin of Symbolic Logic 18 (2):261-267.
Weakly Semirecursive Sets.Carl G. Jockusch & James C. Owings - 1990 - Journal of Symbolic Logic 55 (2):637-644.
Monotone Reducibility and the Family of Infinite Sets.Douglas Cenzer - 1984 - Journal of Symbolic Logic 49 (3):774-782.
Covering Analytic Sets by Families of Closed Sets.Sławomir Solecki - 1994 - Journal of Symbolic Logic 59 (3):1022-1031.
Properties of Ideals on the Generalized Cantor Spaces.Jan Kraszewski - 2001 - Journal of Symbolic Logic 66 (3):1303-1320.
Lowness for the Class of Random Sets.Antonín Kučera & Sebastiaan A. Terwijn - 1999 - Journal of Symbolic Logic 64 (4):1396-1402.

Analytics

Added to PP index
2013-01-24

Total views
45 ( #255,467 of 2,533,812 )

Recent downloads (6 months)
1 ( #388,784 of 2,533,812 )

How can I increase my downloads?

Downloads

My notes