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.

Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

proper nounthe Tarski-Seidenberg theorem
  1. mathematicsA 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

Named after Alfred Tarski and Abraham Seidenberg.

Full word history & related roots →
Cite this entry
APA

Tarski-Seidenberg theorem. (n.d.). In WatkinsX Dictionary. Retrieved November 5, 2026, from https://dictionary.watkinsx.com/word/Tarski-Seidenberg%20theorem

MLA

“Tarski-Seidenberg theorem.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/Tarski-Seidenberg%20theorem. Accessed November 5, 2026.

Chicago

WatkinsX Dictionary, s.v. “Tarski-Seidenberg theorem,” accessed November 5, 2026, https://dictionary.watkinsx.com/word/Tarski-Seidenberg%20theorem.

Source: Tarski-Seidenberg theorem on Wiktionary, CC BY-SA 4.0.