Nobuyoshi MOTOHASHI "Model theory on a positive second order logic with countable conjunctions and disjunctions," Journal of the Mathematical Society of Japan, J. Math. Soc. Japan 25(1), 27-42, (January, 1973)