Tarski-Seidenberg theorem

English dictionary entry

Meanings

name
  1. 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

Tarski-Seidenberg theorem the Tarski-Seidenberg theorem

Etymology

Named after Alfred Tarski and Abraham Seidenberg.

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.