There exist two regressive sets whose intersection is not regressive

DOI10.2307/2270773zbMath0192.05203OpenAlexW2021733616MaRDI QIDQ5586290

Kenneth I. Appel

Publication date: 1967

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2270773

zbMATH Keywords

recursion theory, constructive mathematics

Related Items

Semirecursive Sets and Positive Reducibility, On co-simple isols and their intersection types