Tarski-Seidenberg theorem

English

Etymology

Named after Alfred Tarski and Abraham Seidenberg.

Proper noun

the Tarski-Seidenberg theorem

  1. (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.
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.