Tarski-Seidenberg theorem (English, name)
expansion: the Tarski-Seidenberg theorem
Senses:
topics: mathematics
sciences
glosses: 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.
Forms:
form: the Tarski-Seidenberg theorem
tags: canonical