Beyond First Order Model Theory, Volume I
Model theory is one of the central branches of mathematical logic. The field has evolved rapidly in the last few decades. This book is an introduction to current trends in model theory, and contains a collection of articles authored by top researchers in the field. It is intended as a reference for students as well as senior researchers.
Abstract elementary classes. Generalized logics in set theory. Topological methods in abstract model theory. Randomizations of structures. First Order logics with dependent sorts. Applications of infinitary logics.