A traditional aspect of model theory has been the interplay between formal languages and mathematical structures (hence Chang and Keisler's famous equation "model theory = universal algebra + logic"). This dissertation is ...