User:IssaRice/Computability and logic/Diagonalization lemma (Yanofsky method)
This page is just a rewritten version of the proof of the diagonalization lemma from Yanofsky's paper. There are some parts I found difficult to understand/gaps that I thought should be filled, so this version will hopefully be much more complete.
Acknowledgments: Thanks to Rupert McCallum for helping me work through the proof.