Nuprl Definition : Value

Value() ==  {x:Base| (x)↓} 


Definitions occuring in Statement :  has-value: (a)↓,  set: {x:A| B[x]} ,  base: Base
Definitions occuring in definition :  set: {x:A| B[x]} ,  base: Base,  has-value: (a)↓
FDL editor aliases :  Value
Latex:
Value()  ==    \{x:Base|  (x)\mdownarrow{}\} 


Date html generated: 2016_05_13-PM-03_21_55
Last ObjectModification: 2015_09_22-PM-05_44_34

Theory : call!by!value_1


Home Index