Nuprl Definition : co-w-null

co-w-null(w) ==  isl(w)


Definitions occuring in Statement :  isl: isl(x)
Definitions occuring in definition :  isl: isl(x)
FDL editor aliases :  co-w-null
Latex:
co-w-null(w)  ==    isl(w)


Date html generated: 2016_05_15-PM-10_05_37
Last ObjectModification: 2015_09_23-AM-08_22_10

Theory : bar!induction


Home Index