English Dictionary

When studying definable sets in real algebraic geometry, the Tarski-Seidenberg theorem allows us to project (n + 1)-dimensional semi-algebraic sets down to n dimensions while preserving their polynomial description.

実代数幾何学で定義可能な集合を研究するとき、タルスキ＝セイデンベルクの定理は、多項式の等式や不等式で定義される(n+1)次元の半代数集合を射影してn次元に落としても、その多項式による記述が保たれることを可能にする。