Nuprl Definition : ler_non_dummy_request
ler_non_dummy_request(es) == 
e:E. epoch:
. (epoch 
ler_Choose()(e) 
(epoch > 0))
Definitions occuring in Statement :
ler_Choose: ler_Choose(),
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 :
ler_non_dummy_request
ler\_non\_dummy\_request(es) == \mforall{}e:E. \mforall{}epoch:\mBbbZ{}. (epoch \mmember{} ler\_Choose()(e) {}\mRightarrow{} (epoch > 0))
Date html generated:
2012_02_20-PM-06_04_59
Last ObjectModification:
2012_02_02-PM-02_39_28
Home
Index