Nuprl Definition : per-int
per-int() == pertype(λa,b. uand(a ~ b;isint(a) ~ tt))
Definitions occuring in Statement :
uand: uand(A;B),
pertype: pertype(R),
bfalse: ff,
btrue: tt,
isint: isint def,
lambda: λx.A[x],
sqequal: s ~ t
Definitions occuring in definition :
pertype: pertype(R),
lambda: λx.A[x],
uand: uand(A;B),
sqequal: s ~ t,
isint: isint def,
bfalse: ff,
btrue: tt
FDL editor aliases :
per-int
Latex:
per-int() == pertype(\mlambda{}a,b. uand(a \msim{} b;isint(a) \msim{} tt))
Date html generated:
2016_05_13-PM-03_53_22
Last ObjectModification:
2015_09_22-PM-05_45_30
Theory : per!type
Home
Index