Much late 19th and early 20th century work in logic was in a 2nd order framework; infinitary logics in the modern sense were foreshadowed by Schroeder and Pierce before being formalized in modern terms in Poland during the late 20's. First order logicwas only singled out as the ‘natural’ language to formalize mathematics as such authors as Tarski, Robinson, and Malcev developed the fundamental tools and applied model theory in the study of algebra. Serious work extending the model theory of the 50's to various infinitary logics blossomed during the 1960's and 70's with substantial work on logics such as Lω1, ω and Lω1, ω(Q). At the same time Shelah's work on stable theories completed the switch in focus in first order model theory from study of the logic to the study of complete first order theories As Shelah in [44, 46] sought to bring this same classification theory standpoint to infinitary logic, he introduced a total switch to a semantic standpoint. Instead of studying theories in a logic, one studies the class of models defined by a theory.