Tarski–Seidenberg theorem
id:
tarski-seidenberg-theorem-321-15350703
title:
Tarski–Seidenberg theorem
text:
In mathematics, the Tarski–Seidenberg theorem states 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. The theorem—also known as the Tarski–Seidenberg projection property—is named after Alfred Tarski and Abraham Seidenberg. It implies that quantifier elimination is possible over the reals, that is that every formula co
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Tarski%E2%80%93Seidenberg_theorem
date created:
date modified:
2022-05-19T16:02:05Z
main entity:
{"identifier":"Q16705451","url":"https://www.wikidata.org/entity/Q16705451"}
image:
fields total:
13
integrity:
13