Weakly 2-randoms and 1-generics in Scott sets
Logic
2017-11-02 v1
Abstract
Let be a Scott set, or even an -model of . Then for each , either there is that is weakly 2-random relative to , or there is that is 1-generic relative to . It follows that if are non-computable, there is such that each is Turing incomparable with , answering a question of Ku\v{c}era and Slaman. More generally, any sentence in the language of partial orders that holds in also holds in , where is the partial order of Turing degrees of elements of .
Cite
@article{arxiv.1711.00153,
title = {Weakly 2-randoms and 1-generics in Scott sets},
author = {Linda Brown Westrick},
journal= {arXiv preprint arXiv:1711.00153},
year = {2017}
}
Comments
3 pages