Nuprl Definition : pv8_p1_threshold
pv8_p1_threshold(accpts) == (bag-size(accpts) + 1) 
2
Definitions occuring in Statement :
divide: n m,
add: n + m,
natural_number: $n,
bag-size: bag-size(bs)
FDL editor aliases :
pv8_p1_threshold
pv8_p1_threshold
pv8\_p1\_threshold(accpts) == (bag-size(accpts) + 1) \mdiv{} 2
Date html generated:
2012_02_20-PM-07_16_30
Last ObjectModification:
2012_02_06-PM-01_38_16
Home
Index