Models and ultraproducts : an introduction; - Bell, J. L. (1971)