Patrizio Cintioli
Reports on Mathematical Logic, Number 55, 2020, pp. 143-144
https://doi.org/10.4467/20842589RM.20.007.12439Patrizio Cintioli
Reports on Mathematical Logic, Number 53, 2018, pp. 3-17
https://doi.org/10.4467/20842589RM.18.001.8834We 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.