Nuprl Definition : ler2_non_dummy_request
ler2_non_dummy_request(es) == 
e:E. epoch:
. (epoch 
ler2_choose'base()(e) 
(epoch > 0))
Definitions occuring in Statement :
classrel: v X(e),
es-E: E,
gt: i > j,
all: x:A. B[x],
implies: P Q,
natural_number: $n,
int:
FDL editor aliases :
ler2_non_dummy_request
ler2\_non\_dummy\_request(es) == \mforall{}e:E. \mforall{}epoch:\mBbbZ{}. (epoch \mmember{} ler2\_choose'base()(e) {}\mRightarrow{} (epoch > 0))
Date html generated:
2012_02_20-PM-06_17_16
Last ObjectModification:
2012_02_02-PM-02_44_12
Home
Index