Nuprl Definition : int-decr-map-type
int-decr-map-type(Value) == {l:(ℤ × Value) List| l-ordered(ℤ × Value;x,y.(fst(x)) > (fst(y));l)}
Definitions occuring in Statement :
list: T List,
pi1: fst(t),
gt: i > j,
set: {x:A| B[x]} ,
product: x:A × B[x],
int: ℤ,
l-ordered: l-ordered(T;x,y.R[x; y];L)
FDL editor aliases :
int-decr-map-type
int-decr-map-type(Value) == \{l:(\mBbbZ{} \mtimes{} Value) List| l-ordered(\mBbbZ{} \mtimes{} Value;x,y.(fst(x)) > (fst(y));l)\}
Date html generated:
2015_07_17-AM-08_22_31
Last ObjectModification:
2013_04_15-PM-00_02_25
Home
Index