Nuprl Definition : polyform
polyform(n) == {p:tree(ℤ)| ↑(ispolyform(p) n)}
Wellformedness Lemmas :
polyform_wf
Definitions occuring in Statement :
ispolyform: ispolyform(p),
tree: tree(E),
assert: ↑b,
set: {x:A| B[x]} ,
apply: f a,
int: ℤ
Definitions occuring in definition :
set: {x:A| B[x]} ,
tree: tree(E),
int: ℤ,
assert: ↑b,
apply: f a,
ispolyform: ispolyform(p)
FDL editor aliases :
polyform
polyform
polyform
Latex:
polyform(n) == \{p:tree(\mBbbZ{})| \muparrow{}(ispolyform(p) n)\}
Date html generated:
2017_10_01-AM-08_32_15
Last ObjectModification:
2017_05_02-AM-11_41_33
Theory : integer!polynomial!trees
Home
Index