1. Reduced products and nonstandard logics;Benda;JSL,1969
2. On saturated reduced products;Benda;Notices A.M.S.,1969
3. Descendingly incomplete ultrafilters;Chang;Transactions A.M.S.,1967
4. C.C. Chang and H.J. Keisler. Theory of models (North-Holland, Amsterdam) to appear.
5. An application of games to the completeness problem for formalized theories;Ehrenfeucht;Fund. Math.,1960