Nuprl Definition : p-shift
p-shift(p;a;k) == λn.((a (n + k)) ÷ p^k)
Definitions occuring in Statement :
exp: i^n,
apply: f a,
lambda: λx.A[x],
divide: n ÷ m,
add: n + m
Definitions occuring in definition :
lambda: λx.A[x],
divide: n ÷ m,
apply: f a,
add: n + m,
exp: i^n
FDL editor aliases :
p-shift
Latex:
p-shift(p;a;k) == \mlambda{}n.((a (n + k)) \mdiv{} p\^{}k)
Date html generated:
2018_05_21-PM-03_21_37
Last ObjectModification:
2018_01_28-PM-09_14_19
Theory : rings_1
Home
Index