Model theory's main applications in contemporary mathematics include providing deep insights into algebraic geometry through o-minimality, informing number theory via its connections with Diophantine geometry, and structuring set theory through the study of independence and forcing. It also significantly impacts logic and computational complexity.