Tarski-Seidenberg theorem
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
Named after Alfred Tarski and Abraham Seidenberg.
Proper noun[edit]
the Tarski-Seidenberg theorem
- (mathematics) 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.