Nuprl Definition : sp-meet
f ∧ g == λn.let x,y = coded-pair(n) in (f x) ∧b (g y)
Definitions occuring in Statement :
coded-pair: coded-pair(m),
band: p ∧b q,
apply: f a,
lambda: λx.A[x],
spread: spread def
Definitions occuring in definition :
lambda: λx.A[x],
spread: spread def,
coded-pair: coded-pair(m),
band: p ∧b q,
apply: f a
FDL editor aliases :
sp-meet
Latex:
f \mwedge{} g == \mlambda{}n.let x,y = coded-pair(n) in (f x) \mwedge{}\msubb{} (g y)
Date html generated:
2019_10_31-AM-06_35_37
Last ObjectModification:
2015_09_23-AM-09_28_54
Theory : synthetic!topology
Home
Index