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

Set theory, logic and category theory lie at the foundations of mathematics, and have a dramatic effect on the mathematics that we do, through the Axiom of Choice, Gödel's ...

Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion theory and descriptive set theory. This book is ...

Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper the authors study the generalization where ...

A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is required; the book ...

This concisely written text in finite mathematics gives a sequential, distinctly applied presentation of topics, employing a pedagogical approach that is ideal for freshmen and ...