<![CDATA[WUJ]]><![CDATA[info@ejournals.eu]]>http://www.ejournals.eu/20200224ejournals.eu.article.1228403010610.4467/20842589RM.18.001.883420<![CDATA[weak truth-table reducibility, introimmune sets]]>00ED031001Number10102<![CDATA[Reports on Mathematical Logic]]>03<![CDATA[2018]]>01<![CDATA[Number 53]]>1A01<![CDATA[Patrizio Cintioli]]>0101<![CDATA[Sets with no subsets of higher weak truth-table degree]]>01en001403020PLN03<![CDATA[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.
Received 21 May 2016
This work was supported by the PRIN 2012 project Logic Models and Sets.
AMS subject classification: 03D30 [view classification]]]>012018090615000401http://dx.doi.org/10.4467/20842589RM.18.001.8834