Nuprl Definition : int_term
int_term() == {p:int_termco()| (int_termco_size(p))↓}
Definitions occuring in Statement :
int_termco_size: int_termco_size(p),
int_termco: int_termco(),
has-value: (a)↓,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
int_termco: int_termco(),
has-value: (a)↓,
int_termco_size: int_termco_size(p)
FDL editor aliases :
int_term
Latex:
int\_term() == \{p:int\_termco()| (int\_termco\_size(p))\mdownarrow{}\}
Date html generated:
2016_05_14-AM-06_57_45
Last ObjectModification:
2015_09_22-PM-05_51_20
Theory : omega
Home
Index