Кодирование псевдобулевых моделей для инфинитарной неклассической логики трансфинитного порядка

Рассмотрено исчисление предикатов неограниченно высоких трансфинитных порядков с бесконечными выражениями. Моделями служат псевдобулевы алгебры (элементы которых будут истинностными значениями) вместе с множествами объектов для каждого типа. Так как типы образуют собственный класс из-за неограниченности высоты иерархии типов, то модель целиком является собственным классом. Найдены специальные модели, которые можно кодировать через множества. Эта задача решена следующим образом: определена специальная процедура, которая, исходя из некоторого множества, порождает всю модель. Доказывается, что класс моделей, получаемых таким образом, достаточен для получения контрмодели для любой не тождественно истинной (в смысле истинности во всех моделях) формулы.
Библиогр. 4.