1. Finite axiomatizability using additional predicates;Craig;J. Symb. Logic,1958
2. An application of games to the completeness problem for formalized theories;Ehrenfeucht;Fund. Math.,1961
3. Sur l'extension aux relations de quelques propriétés des ordres;Fraissé;Ann. Sci. École Norm. Sup., 3ième série,1954
4. Sur quelques classifications des relations, basées sur des isomor-phismesrestreints;Fraissé;Alger-Mathématiques,1955
5. First order predicate logic with generalized quantifiers;Lindström;Theoria,1966