Nuprl Definition : cantor2baire
cantor2baire(a) == λn.cantor2baire-aux(a;n)
Definitions occuring in Statement :
cantor2baire-aux: cantor2baire-aux(a;n),
lambda: λx.A[x]
Definitions occuring in definition :
cantor2baire-aux: cantor2baire-aux(a;n),
lambda: λx.A[x]
FDL editor aliases :
cantor2baire
Latex:
cantor2baire(a) == \mlambda{}n.cantor2baire-aux(a;n)
Date html generated:
2017_04_20-AM-07_38_01
Last ObjectModification:
2017_04_19-PM-03_42_33
Theory : continuity
Home
Index