Elmwafy, Sayed Sayed Ahmed Osama Mohamed2026-05-152026-05-152020https://hdl.handle.net/10566/22453We introduce the concept of an algebraically closed field with emphasis of the basic model-theoretic results concerning the theory of algebraically closed fields. One of these nice results about algebraically closed fields is the quantifier elimination property. We also show that the theory of algebraically closed field with a given characteristic is complete and model-complete. Finally, we introduce the beautiful Ax-Grothendieck theorem and an application to it.enModelStructureQuantifier EliminationCompleteModel-completeThesis