snarles comments on A model of UDT with a halting oracle

snarles 25 Dec 2011 11:10 UTC
1 point
Would it be correct to say that S can’t prove Lemma 2?
- cousin_it 25 Dec 2011 13:15 UTC
  1 point
  Parent
  Yes.