Tarski-Seidenberg theorem
Meanings
name
- 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.
Word forms
Etymology
Named after Alfred Tarski and Abraham Seidenberg.
Previous
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.