Nuprl Definition : rat_term
rat_term() == {p:rat_termco()| (rat_termco_size(p))↓}
Definitions occuring in Statement :
rat_termco_size: rat_termco_size(p),
rat_termco: rat_termco(),
has-value: (a)↓,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
rat_termco: rat_termco(),
has-value: (a)↓,
rat_termco_size: rat_termco_size(p)
FDL editor aliases :
rat_term
Latex:
rat\_term() == \{p:rat\_termco()| (rat\_termco\_size(p))\mdownarrow{}\}
Date html generated:
2019_10_29-AM-09_25_11
Last ObjectModification:
2019_03_31-PM-05_17_20
Theory : reals
Home
Index