Duality and Definability in First Order Logic

Using the theory of categories as a framework, this book develops a duality theory for theories in first order logic. The book presents novel techniques aswell as applications of classical methods. It is carefully wirtten and its organization and detail will be particularly appealing to mathematicians and philosophers interested in category theory.