Nuprl Definition : satisfiable_polynomial_constraints
satisfiable_polynomial_constraints(X) == ∃f:ℤ ⟶ ℤ. satisfies-poly-constraints(f;X)
Definitions occuring in Statement :
satisfies-poly-constraints: satisfies-poly-constraints(f;X),
exists: ∃x:A. B[x],
function: x:A ⟶ B[x],
int: ℤ
Definitions occuring in definition :
exists: ∃x:A. B[x],
function: x:A ⟶ B[x],
int: ℤ,
satisfies-poly-constraints: satisfies-poly-constraints(f;X)
FDL editor aliases :
satisfiable_polynomial_constraints
Latex:
satisfiable\_polynomial\_constraints(X) == \mexists{}f:\mBbbZ{} {}\mrightarrow{} \mBbbZ{}. satisfies-poly-constraints(f;X)
Date html generated:
2016_05_14-AM-07_07_58
Last ObjectModification:
2015_09_22-PM-05_52_52
Theory : omega
Home
Index