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 classes such that no infinite union of elements of any 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 class and any countable sequence of sets in , 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 , every non-empty class contains a countable sequence of members whose join does not compute . We finally show that there exists a 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