A constructive proof of Tarski's theorem on quantifier elimination in the theory of ACF

Grzegorz Pastuszak

Assume that $ACF$ denotes the theory of algebraically closed fields. The renowned theorem of A. Tarski states that $ACF$ admits quantifier elimination. In this paper we give a cons…