Models and ultraproducts : an introduction; - Bell, J. L. (Studies in logic and the foundations of mathematics, 1971)