1. V. Harnik and M. Makkai, Applications of Vaught sentences and the covering theorem, J.S.L., vol. 41 (1976), pp. 171–187.
2. C. Mizutani, Definability theorem for the intuitionistic predicate logic with equality, to appear.
3. N. Motohashi, A new theorem on definability in a positive second order logic with countable conjunctions and disjunctions, Proc. Japan Acad., vol. 48 (1970), pp. 153–156.
4. N. Motohashi, Approximation theorems of uniqueness conditions by existence conditions, to appear.
5. N. Motohashi, A theorem in the theory of definition, J. Japan Math. Soc., vol. 22 (1970), pp. 490–494.