Models And Ultraproducts by J.L. Bell & A.B. Slomson