Nuprl Lemma : hdf_halted_halt_red_lemma

hdf-halted(hdf-halt()) tt


Proof




Definitions occuring in Statement :  hdf-halt: hdf-halt() hdf-halted: hdf-halted(P) btrue: tt sqequal: t
hdf-halted(hdf-halt())  \msim{}  tt



Date html generated: 2015_07_17-AM-08_04_50
Last ObjectModification: 2015_01_27-PM-00_16_27

Home Index