Nuprl Definition : atomic-values
atomic-values() == {x:Value()| ↑is-atomic(x)}
Definitions occuring in Statement :
is-atomic: is-atomic(x),
Value: Value(),
assert: ↑b,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
Value: Value(),
assert: ↑b,
is-atomic: is-atomic(x)
FDL editor aliases :
atomic-values
Latex:
atomic-values() == \{x:Value()| \muparrow{}is-atomic(x)\}
Date html generated:
2016_05_13-PM-03_23_03
Last ObjectModification:
2015_09_22-PM-05_44_36
Theory : call!by!value_1
Home
Index