Кангужин, А. М. Мощность множества счетных моделей универсальных предложений с двумя кванторами. JMMCS 2011, 68, 14-16.