Tarski-Seidenberg theorem

短语

词形变化

the Tarski-Seidenberg theorem

释义与例句

name
  1. 1.

    A theorem stating that a set in (n + 1)-dimensional space defined by polynomial equations and inequalities can be projected down onto n-dimensional space, and the resulting set is still definable in terms of polynomial identities and inequalities.

    数学

词源

Named after Alfred Tarski and Abraham Seidenberg.

来源：wiktionary