Nuprl Definition : KleeneM
KleeneM(F;f) == KleeneSearch(Kleene-M(F);f;1)
Definitions occuring in Statement :
KleeneSearch: KleeneSearch(M;f;n),
Kleene-M: Kleene-M(F),
natural_number: $n
Definitions occuring in definition :
KleeneSearch: KleeneSearch(M;f;n),
Kleene-M: Kleene-M(F),
natural_number: $n
FDL editor aliases :
KleeneM
Latex:
KleeneM(F;f) == KleeneSearch(Kleene-M(F);f;1)
Date html generated:
2019_06_20-PM-02_51_10
Last ObjectModification:
2019_02_08-PM-05_39_08
Theory : continuity
Home
Index