Beyond First Order Model Theory

The traditional logical language of model theory is first-order logic. This language was proposed in the late 19th by G. Frege, and throughout the 20th century, it remained at the center of the development of model theory. Model theory is one of the central branches of mathematical logic and 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 (graduate and advanced undergraduate) and senior researchers alike.

Jose Iovino is a professor at Texas University, San Antionio. His research is in model theoretic analysis. He is the author of the monograph Applications of Model Theory to Functional Analysis (Dover Publications, 2014). He was the local organizer of the conference and the joint special session of the American Mathematical Society and the Association for Symbolic Logic that gave rise to this book.