Nuprl Definition : ses-honest
Honest(A) == ↑((fst(snd(snd(snd(snd(snd(snd(snd(snd(s)))))))))) A)
Definitions occuring in Statement :
assert: ↑b,
pi1: fst(t),
pi2: snd(t),
apply: f a
FDL editor aliases :
ses-honest
Latex:
Honest(A) == \muparrow{}((fst(snd(snd(snd(snd(snd(snd(snd(snd(s)))))))))) A)
Date html generated:
2015_07_23-PM-00_03_43
Last ObjectModification:
2012_08_30-PM-02_30_20
Home
Index