[Show abstract][Hide abstract] ABSTRACT:
In this paper we will explain some basic notions related to quantifier elimination in the first order theories. We will give algorithms for quantifier elimina- tion in theories of dense linear orders and algebraically closed fields. At the end, we will see some applications of quantifier elimination in ACF. This article is the part of our long-range research, in GIS, on quantifier elimination.