Model-theoretic methods yield striking results about algebraically closed fields (ACF) and real closed fields (RCF). Tarski proved ACF admits quantifier elimination and is decidable, while the Tarski-Seidenberg theorem shows RCF is decidable with quantifier elimination over real quantifiers. These results apply model theory to derive decidability of field-theoretic questions and analyze definable sets in algebraic and semi-algebraic geometry.
From your work on definability and strongly minimal sets, you have seen how model theory classifies structures by the complexity of their definable sets. The two richest examples of well-behaved structures — algebraically closed fields (ACF) like ℂ and real closed fields (RCF) like ℝ — illustrate what this theory accomplishes at its best. Both admit a property called *quantifier elimination*, which means that every formula can be simplified to one without quantifiers. This may sound like a technical convenience, but it has profound consequences.
In ACF (say, the theory of algebraically closed fields of characteristic 0, which is the theory of ℂ), quantifier elimination means that every definable set is a constructible set — a Boolean combination of algebraic varieties (zero sets of polynomials). There are no definable sets "hidden" by existential or universal quantifiers that cannot be described purely by polynomial equations and inequalities. From this, Tarski derived that ACF is decidable: there is an algorithm that determines whether any first-order sentence about algebraically closed fields is true. Combined with the model-theoretic fact that ACF is strongly minimal (from your prerequisite on strongly minimal sets), this explains why complex algebraic geometry is so tractable — the definable sets form an extremely controlled universe.
For RCF (the theory of ℝ as an ordered field), the analogous result is the Tarski-Seidenberg theorem: quantifier elimination holds, and every first-order definable set is a semialgebraic set — a finite Boolean combination of sets defined by polynomial equations and inequalities. This is exactly the class that algebraic geometers study independently. The model-theoretic insight is that semialgebraicity is *closed under projection* (images of semialgebraic sets under polynomial maps are semialgebraic) — a fact that classical geometry had to prove directly but that quantifier elimination gives immediately. RCF is also decidable, meaning there is an algorithm to determine the truth of any first-order statement about the real numbers.
The philosophical payoff is remarkable: two structures that mathematicians care about deeply — ℂ and ℝ — turn out to be logically tame in a precise sense. Their first-order theories are complete (every sentence is settled one way or the other), decidable, and admit quantifier elimination. Model theory does not just describe these fields; it explains *why* their geometry behaves so well. Contrast this with the first-order theory of ℤ (the integers), which is undecidable by Gödel's incompleteness theorems. The decidability of ℝ and ℂ is not a miracle — it follows from the absence of the combinatorial complexity that makes integer arithmetic so hard.