Most of the model theory of modules works, with only minor modifications, in much more general additive contexts (such as functor categories, categories of comodules, categories of sheaves). Furthermore, even within a given category of modules, many subcategories form a ``self-sufficient'' context in which the model theory may be developed without reference to the larger category of modules. The notion of a definable additive category covers all these contexts. The (imaginaries) language which one uses for model theory in a definable additive category can be obtained from the category (of structures and homomorphisms) itself, namely, as the category of those functors to the category of abelian groups which commute with products and direct limits. Dually, the objects of the definable category--the modules (or functors, or comodules, or sheaves)--to which that model theory applies may be recovered as the exact functors from the, small abelian, category (the category of pp-imaginaries) which underlies that language.

This volume contains selected expository lectures delivered at the annual Maurice Auslander Distinguished Lectures and International Conference over the last several years. Reflecting the diverse landscape of modern representation theory of algebras, the selected articles include: a quick introduction to silting modules; a survey on the first decade of co-t-structures in triangulated categories; a functorial approach to the notion of module; a representation-theoretic approach to recollements in abelian categories; new examples of applications of relative homological algebra; connections between Coxeter groups and quiver representations; and recent progress on limits of approximation theory.

This volume contains the proceedings of the international conference Model Theory of Modules, Algebras and Categories, held from July 28–August 2, 2017, at the Ettore Majorana Foundation and Centre for Scientific Culture in Erice, Italy. Papers contained in this volume cover recent developments in model theory, module theory and category theory, and their intersection.

Proceedings of a conference held at Centre de recherches mathematiques of the Universite de Montreal, June 18-20, 2009.

This book collects the refereed proceedings of the 8th Indian Conference on Logic and Its Applications, ICLA 2019, held in Delhi, India, in March 2019. The volume contains 13 full revised papers along with 6 invited talks presented at the conference. The aim of this conference series is to bring together researchers from a wide variety of fields in which formal logic plays a significant role. Areas of interest include mathematical and philosophical logic, computer science logic, foundations and philosophy of mathematics and the sciences, use of formal logic in areas of theoretical computer science and artificial intelligence, logic and linguistics, and the relationship between logic and other branches of knowledge. Of special interest are studies in systems of logic in the Indian tradition, and historical research on logic.

A unified, coherent account of the algebraic aspects and uses of the Ziegler spectrum. It may be used as an introductory graduate-level text, providing relevant background material and a wealth of illustrated examples. An extensive index and thorough referencing also make this book an ideal reference.