• Tarski-Seidenberg theorem

Tarski-Seidenberg theorem (suomeksi)

Määritelmät:

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