English

Countable chains and infinite joins in effectively closed sets of Cantor space

Logic 2018-07-20 v1

Abstract

We prove that there exists a countable infinite sequence of non-empty special Π10\Pi^0_1 classes {Pi}iω\{\mathcal{P}_i\}_{i\in\omega} such that no infinite union of elements of any Pi\mathcal{P}_i computes the halting set. We then give a generalized form of lower and upper cone avoidance for infinite unions. That is, we show that for any special Π10\Pi^0_1 class P\mathcal{P} and any countable sequence of sets in P\mathcal{P}, P\mathcal{P} has a member that is not computable by the infinite union of elements of the sequence. We also prove the upper cone counterpart, that for any non-recursive set XX, every non-empty Π10\Pi^0_1 class contains a countable sequence of members whose join does not compute XX. We finally show that there exists a Π10\Pi^0_1 class whose degree specrum is a countably infinite strict chain.

Keywords

Cite

@article{arxiv.1807.07261,
  title  = {Countable chains and infinite joins in effectively closed sets of Cantor space},
  author = {Ahmet Çevik},
  journal= {arXiv preprint arXiv:1807.07261},
  year   = {2018}
}

Comments

11 pages, 2 figures