Досліджується один із розв'язних підкласів кванторних формул у чистому численні предикатів. Отримано необхідну та достатню умову здійсненності для формул, що входять до нього.
Розв'язано питання про зображення мір із значеннями в банаховому просторі як границь слабко збіжних послідовностей векторних мір, що мають своїм базисом дану невід'ємну міру.