Tarski–Seidenberg theorem

GPTKB entity
AI-created image of Tarski–Seidenberg theorem
AI-created image

Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo real closed fields
gptkbp:author gptkb:Alfred_Tarski
gptkb:Abraham_Seidenberg
gptkbp:concerns quantifier elimination
gptkbp:field gptkb:logic
real algebraic geometry
https://www.w3.org/2000/01/rdf-schema#label Tarski–Seidenberg theorem
gptkbp:implies first-order theory of real closed fields is decidable
gptkbp:namedAfter gptkb:Alfred_Tarski
gptkb:Abraham_Seidenberg
gptkbp:publicationYear 1954
gptkbp:publishedIn gptkb:Annals_of_Mathematics
gptkbp:relatedTo quantifier elimination over the reals
semialgebraic set
gptkbp:state the projection of a semialgebraic set is semialgebraic
gptkbp:bfsParent gptkb:Alfred_Tarski
gptkbp:bfsLayer 4