Очевидно, что каждая атомная формула является абсолютной для L так же, как и для каждого ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Кейслер Г.N. Теория моделей


Очевидно, что каждая атомная формула является абсолютной для L так же, как и для каждого транзитивного класса В. Удобное достаточное условие абсолютности может быть дано с помощью понятия ограниченной формулы.

(cкачать страницу)

Смотреть книгу на libgen

Очевидно,  что каждая атомная формула является абсолютной для L так же,  как и для каждого транзитивного класса В.  Удобное достаточное условие абсолютности может быть дано с помощью понятия ограниченной формулы.