Tarski-Seidenberg theorem

Noun CEFR B2

Definitions

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.

CEFR level

B2

Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See all B2 English words →

See also

Tarski's fixed-point theorem Tarsle tarsomere tarsometatarsal tarsometatarsus tarsonemid

Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free