cousin_it comments on A model of UDT with a halting oracle

[cousin_it]

if my reading of proofs seems uncharitable at times

I want people to read my math uncharitably and poke holes in it, otherwise I wouldn’t post :-)