Logic studies formal languages and the relation between these formal languages and mathematical structures. The Department of Mathematics currently has logicians working on applications of Model Theory and Set Theory. Model theory at Baylor focuses on studying classes of algebraic objects, such as modules and abelian groups, as abstract elementary classes in an effort to better understand algebraic and model theoretic concepts. Most of the classes studied are not first-order axiomatizable. Set Theory at Baylor focuses on the existence and construction of large algebraic structures, such as groups, rings, and modules. This includes questions of undecidability and applications of infinitary combinatorics and forcing.