Nuprl Definition : int_formula
int_formula() == {p:int_formulaco()| (int_formulaco_size(p))↓}
Definitions occuring in Statement :
int_formulaco_size: int_formulaco_size(p),
int_formulaco: int_formulaco(),
has-value: (a)↓,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
int_formulaco: int_formulaco(),
has-value: (a)↓,
int_formulaco_size: int_formulaco_size(p)
FDL editor aliases :
int_formula
Latex:
int\_formula() == \{p:int\_formulaco()| (int\_formulaco\_size(p))\mdownarrow{}\}
Date html generated:
2016_05_14-AM-07_04_16
Last ObjectModification:
2015_09_22-PM-05_51_57
Theory : omega
Home
Index