Sets with no subsets of higher weak truth-table degree
Sets with no subsets of higher weak truth-table degree
Author(s): Patrizio CintioliSubject(s): Economy
Published by: Wydawnictwo Uniwersytetu Jagiellońskiego
Keywords: weak truth-table reducibility; introimmune sets
Summary/Abstract: We consider the weak truth-table reducibility < wtt and we prove the existence of wtt-introimmune sets in 02. This closes the gap on the existence of arithmetical r-introimmune sets for all the known reducibilities < r strictly contained in the Turing reducibility.
Journal: Reports on Mathematical Logic
- Issue Year: 2018
- Issue No: 53
- Page Range: 3-17
- Page Count: 15
- Language: English