Notions of indifference for genericity: Union and subsequence sets
Abstract
A set I is said to be a universal indifferent set for 1-genericity if for every 1-generic G and for all X ⊂eq I, G X is also 1-generic. Miller showed that there is no infinite universal indifferent set for 1-genericity. We introduce two variants (union and subsequence sets for 1-genericity) of the notion of universal indifference and prove that there are no non-trivial universal sets for 1-genericity with respect to these notions. In contrast, we show that there is a non-computable subsequence set for weak-1-genericity.
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.