Мощность множества счетных моделей универсальных предложений с двумя кванторами

Abstract

Дана классификация универсальных предложений не более чем с двумя кванторами, по которой определяется мощность соответствующего множества счетных моделей.