1. A. Ehrenfeucht, Application of games to some problems of mathematical logic. Bull. Acad. Polon. Sci., Sér. Sci Math. Astronom. Phys.
5 (1957), 35–37.
2. A. Ehrenfeucht, On theories categorical in power. Fund. Math.
44 (1957), 241–248.
3. A. Ehrenfeucht, Two theories with axioms built by means of pleonasms. J. Symb. Logic
22 (1957), 36–38.
4. A. Ehrenfeucht, Theories having at least continuum many non-isomorphic models in each infinite power. Amer. Math. Soc. Notices
5 (1958), 680–681.
5. A. Ehrenfeucht, Decidability at the theory of one function. Amer. Math. Soc. Notices
6 (1959), p. 268.