I found a construction of a low set that is explained the way I imagine things should be explained in Lecture 38 of Dexter Kozen's book "Theory of Computation" (https://doi.org/10.1007/1-84628-477-5_48).
Still trying to penetrate the "tree method" and "pinball machines".
=> More informations about this toot | View the thread | More toots from andrejbauer@mathstodon.xyz
text/geminiThis content has been proxied by September (ba2dc).