**Title**: Real root counting and Tarski's theorem on quantifier elimination

**Abstract**: The goal is to give a proof of Tarski's theorem, using Sturm's method of counting real roots of polynomials.

**Title**: Real root counting and Tarski's theorem on quantifier elimination

**Abstract**: The goal is to give a proof of Tarski's theorem, using Sturm's method of counting real roots of polynomials.