Один результат о полноте суперинтуиционистских логик

Рассматриваются суперинтуиционистские логики, определяющиеся интуиционистскими моделями вида $(\mu,\eta)$, где $\mu,$ — сжатое (т. е. не содержащее бесконечных антицепей) частично упорядоченное множество, а $\eta$ — означивание на нем. Доказывается, что все такие логики счетно-моделируемы независимо от мощности рассматриваемого пропозиционального языка. Как следствия получаются некоторые известные результаты. Библ. 11 назв.