Очевидно, что каждая атомная формула является абсолютной для L так же, как и для каждого ... - Большая Энциклопедия Нефти и Газа
Большая Энциклопедия Нефти и Газа
Главная
Карта сайта
Поиск +
Поиск по рисункам
Помощь
Выдержка из книги Кейслер Г.N. Теория моделей
Очевидно, что каждая атомная формула является абсолютной для L так же, как и для каждого транзитивного класса В. Удобное достаточное условие абсолютности может быть дано с помощью
понятия ограниченной формулы
.
(cкачать страницу)
Смотреть книгу на
libgen
Поделиться ссылкой: