Nuprl Definition : co-value
co-value() == corec(L.atomic-values() ⋃ (L × L) ⋃ (L + L))
Definitions occuring in Statement :
corec: corec(T.F[T]),
atomic-values: atomic-values(),
b-union: A ⋃ B,
product: x:A × B[x],
union: left + right
Definitions occuring in definition :
corec: corec(T.F[T]),
atomic-values: atomic-values(),
b-union: A ⋃ B,
product: x:A × B[x],
union: left + right
FDL editor aliases :
co-value
Latex:
co-value() == corec(L.atomic-values() \mcup{} (L \mtimes{} L) \mcup{} (L + L))
Date html generated:
2016_05_14-PM-03_20_41
Last ObjectModification:
2015_09_22-PM-05_59_27
Theory : rec_values
Home
Index