Nuprl Definition : rec-value
rec-value() == {v:co-value()| (co-value-height(v))↓}
Definitions occuring in Statement :
co-value-height: co-value-height(t)
,
co-value: co-value()
,
has-value: (a)↓
,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]}
,
co-value: co-value()
,
has-value: (a)↓
,
co-value-height: co-value-height(t)
FDL editor aliases :
rec-value
Latex:
rec-value() == \{v:co-value()| (co-value-height(v))\mdownarrow{}\}
Date html generated:
2016_05_14-PM-03_20_50
Last ObjectModification:
2015_09_22-PM-05_59_28
Theory : rec_values
Home
Index