Indeksowane metadane
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.