Canonical immunity and genericity
Logic
2017-07-14 v1
Abstract
Whereas the usual notions of immunity -- e.g., immunity, hyperimmunity, etc. -- are associated with Cohen genericity, canonical immunity, as introduced by Beros, Khan and Kjos-Hanssen, is associated instead with Mathias genericity. Specifically, every Mathias generic is canonically immune and no Cohen 2-generic computes a canonically immune set.
Cite
@article{arxiv.1707.03947,
title = {Canonical immunity and genericity},
author = {Achilles A. Beros and Konstantinos A. Beros},
journal= {arXiv preprint arXiv:1707.03947},
year = {2017}
}
Comments
15 pages