1. Barwise, J.: On Moskovakis closure ordinals. The Journal of Symbolic Logic, 42, (1977), 292–296
2. Bell, J.L. and Slomson, A.B.: Models and Ultraproducts. An Introduction. North-Holland Publ. Co., (1969)
3. Chang, C.C. and Keisler, H.J.: Model Theory. North-Holland, Publ. Comp., (1973)
4. Ehrenfeucht, A.: An applications of games to the completeness problem for formalized theories. Fundamenta Mathematicae, 49, (1961), 129–141
5. Fraïssé, R.J.: Sur quelques classifications des systémes des relations. Publ. Sci. Univ. Alger, A 1, (1954), 35–182