Model theory has made substantial contributions to semialgebraic, subanalytic, p-adic, rigid and ...