John Bell profundiza en los reinos de la lógica y la filosofía de las matemáticas. Su trabajo explora preguntas profundas sobre la naturaleza de la verdad y las estructuras matemáticas. Bell investiga cómo los sistemas formales y los principios lógicos dan forma a nuestra comprensión de los conceptos matemáticos. Su enfoque se caracteriza por su rigurosa naturaleza analítica y su empeño por conectar la teoría abstracta con sus implicaciones filosóficas.
The aim of this book is to provide an elementary exposition of some of the basic concepts of model theory. Model theory, which can be described briefly as the study of the relationship between formal languages and abstract structures, covers a very wide field and it is not possible to compress it into one volume. We have chosen as our theme the ultraproducts construction. We hope this book we be of use to undergraduate and practicing mathematicians