English

Notions of indifference for genericity: Union and subsequence sets

Logic 2021-05-24 v1 Logic in Computer Science

Abstract

A set II is said to be a universal indifferent set for 11-genericity if for every 11-generic GG and for all XIX \subseteq I, GΔXG \Delta X is also 11-generic. Miller showed that there is no infinite universal indifferent set for 11-genericity. We introduce two variants (union and subsequence sets for 11-genericity) of the notion of universal indifference and prove that there are no non-trivial universal sets for 11-genericity with respect to these notions. In contrast, we show that there is a non-computable subsequence set for weak-11-genericity.

Keywords

Cite

@article{arxiv.2104.13910,
  title  = {Notions of indifference for genericity: Union and subsequence sets},
  author = {Tejas Bhojraj},
  journal= {arXiv preprint arXiv:2104.13910},
  year   = {2021}
}

Comments

9 pages