Nuprl Definition : pi_term
pi_term() == {p:pi_termco()| (pi_termco_size(p))↓}
Definitions occuring in Statement :
pi_termco_size: pi_termco_size(p),
pi_termco: pi_termco(),
has-value: (a)↓,
set: {x:A| B[x]}
FDL editor aliases :
pi_term
Latex:
pi\_term() == \{p:pi\_termco()| (pi\_termco\_size(p))\mdownarrow{}\}
Date html generated:
2015_07_23-AM-11_31_55
Last ObjectModification:
2014_05_04-PM-08_20_05
Home
Index