Easy Applications of Model Theory

Question

I've also posted this question on MathSE. I'm posting it here in hopes of a more comprehensive answer. The question is inspired by the following:

• Model theoretic applications to algebra and number theory(Iwasawa Theory)

• MathSE: Applications of model theory to analysis

The applications mentioned are usually pretty complicated (except for Ax-Grothendieck, but it seems to be a rare occurrence). My question is; (also omitting these examples) are there easy "applications of model theory". For example, can we use Morley's categorecity theorem to determine a class of structures of interest "outside of model theory" has only unique models in higher cardinalities, where the actual proof of the fact is fairly complicated. I know that this works for $ACF_0$ for example, but it seems this can be established with the same amount of effort (i.e. proving Morley's theorem would be the same level of difficulty)

Also are there example of nice categorizations: For example (this may be false but something in the spirit of) "omega-stable countable groups have a nice classification as products of some class of groups".

To sum up: I'm looking for "simple" applications that follow from basic results in, say Marker's text on Model Theory for example.

Answer 1

Well Steinitz's theorem on the existence of an algebraic closure for any field can be proved through an easy application of the compactness theorem for first order logic. Of course the "usual proof" is not so complicated but it requires a bit of attention, whereas with compactness it's obvious. I hope this is the kind of example you were looking for.