Nuprl Definition : oal_omcp
oal_omcp{s,g} == <oal_hgp(s;g), λk,v. inj(k,v), λh,f. umap(h,f)>
Definitions occuring in Statement :
oal_umap: umap(h,f),
oal_hgp: oal_hgp(s;g),
oal_inj: inj(k,v),
lambda: λx.A[x],
pair: <a, b>,
hgrp_of_ocgrp: g↓hgrp
Definitions occuring in definition :
oal_hgp: oal_hgp(s;g),
pair: <a, b>,
oal_inj: inj(k,v),
lambda: λx.A[x],
oal_umap: umap(h,f),
hgrp_of_ocgrp: g↓hgrp
Latex:
oal\_omcp\{s,g\} == <oal\_hgp(s;g), \mlambda{}k,v. inj(k,v), \mlambda{}h,f. umap(h,f)>
Date html generated:
2016_05_16-AM-08_23_09
Last ObjectModification:
2015_09_23-AM-09_53_13
Theory : polynom_2
Home
Index