1. Locally Presentable and Accessible Categories;Adámek,1994
2. The elementary theory of finite fields;Ax;Ann. Math.,1968
3. A metamathematical approach to some problems in number theory;Ax,1971
4. J. Barwise, An introduction tofirst-order logic, in: [5], pp. 5-46.
5. Handbook of Mathematical Logic,1977