Applications of Robinson's consistency theorem in algebra?

This is crossposted from MSE. It's also my first time asking on MO, so please let me know if there's anything you need from me!

There are a family of results which, in many model theory books, are proven around the same time, often as corollaries of each other. These are

For many "early" topics in model theory, there are some obvious results in algebra which admit easy proofs using this machinery. Compactness, completeness, and Lowenheim-Skolem all come to mind. Marker even finds low-hanging applications of o-minimality! However, I can't seem to find any algebraic applications of these theorems, even though they seem just as applicable as the other concepts I've mentioned.

I'm sure there are special cases where one might like to know that a relation (say, the ordering of a group, etc.?) is not definable from the rest of the structure (here Beth's Theorem and Padoa's Method might be useful). Similarly, knowing that we can find a model of $$T_1 \cup T_2$$ provided there's no obvious obstruction seems eminently useful (here I have in mind the version of Robinson's theorem that doesn't rely on completeness of $$T_1 \cap T_2$$). I'm not so surprised that I can't come up with any applications myself (sometimes being creative is hard), but I am surprised that searching my usual references, as well as spending some time on google, hasn't turned up any results.

Does anyone have any fun applications of these theorems in algebra?

• If Robinson didn’t know any algebraic applications, and Wikipedia and the nlab and MathStackExchange and the six upvotere so far don’t know any either...then it may not have any great algebraic applications. – Matt F. Nov 14 '20 at 8:09

• @HallaSurvivor, well you shouldn't accept my answer but it isn't really an answer to your question. I will say that a Henselian valued field is a valued field that satisfies a form of the implicit function theorem for polynomials, think of it as an algebraic notion of completeness. The usual examples are $\mathbb{Q}_p$ and any algebraic extension of $\mathbb{Q}_p$, formal power series fields like $F((t))$ or $F\langle\langle t \rangle\rangle$ for an arbitrary field $F$. So in particular any non-archimedean local field is Henselian. – Erik Walsberg Nov 18 '20 at 20:42