Nuprl Definition : urec
urec(F) == ⋃n:ℕ.(F^n Void)
Definitions occuring in Statement :
fun_exp: f^n,
nat: ℕ,
tunion: ⋃x:A.B[x],
apply: f a,
void: Void
Definitions occuring in definition :
tunion: ⋃x:A.B[x],
nat: ℕ,
apply: f a,
fun_exp: f^n,
void: Void
FDL editor aliases :
urec
Latex:
urec(F) == \mcup{}n:\mBbbN{}.(F\^{}n Void)
Date html generated:
2016_05_15-PM-06_50_26
Last ObjectModification:
2015_09_23-AM-08_06_48
Theory : general
Home
Index