https://123dok.net/document/yj7mpmp2-relationships-between-computability-theoretic-properties-of-problems.html