This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all are

This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all are

Gert H. Müller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scien

This book brings together several directions of work in model theory between the late 1950s and early 1980s.