Word.ws English Dictionary

Tarski-Seidenberg theorem

Tarski-Seidenberg theorem proper noun: 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.

Proper noun

the Tarski-Seidenberg theorem

  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.

Origin of Tarski-Seidenberg theorem

Named after Alfred Tarski and Abraham Seidenberg.

Questions about Tarski-Seidenberg theorem

What does Tarski-Seidenberg theorem mean?
Tarski-Seidenberg theorem means 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.
What part of speech is Tarski-Seidenberg theorem?
Tarski-Seidenberg theorem is a proper noun.

Words near Tarski-Seidenberg theorem in the dictionary

  1. tarsitis
  2. Tarskavaig
  3. Tarski
  4. Tarski's fixed-point theorem
  5. Tarski-Kuratowski algorithm
  6. Tarski-Seidenberg theorem
  7. Tarskian
  8. Tarskis
  9. Tarsle
  10. tarso-
  11. tarsoconjunctival

Source and license

Adapted from Wiktionary: Tarski-Seidenberg theorem (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “Tarski-Seidenberg theorem.” Word.ws, https://word.ws/tarski-seidenberg_theorem. Based on Wiktionary, CC BY-SA 4.0.