Nuprl Definition : p-outcome
Outcome == ℕ||p||
Definitions occuring in Statement :
length: ||as||,
int_seg: {i..j-},
natural_number: $n
FDL editor aliases :
p-outcome
Latex:
Outcome == \mBbbN{}||p||
Date html generated:
2016_05_15-PM-11_44_58
Last ObjectModification:
2008_02_27-PM-05_47_13
Theory : randomness
Home
Index