Любой главный фильтр является:

Если любая подструктура любой нормальной модели является ее моделью, то теория:

Если любая подструктура любой нормальной модели является ее моделью, то теория:

Ультрафильтр - это фильтр:

Формула, истинная в любой интерпретации сигнатуры называется:

Верна теорема для любой булевой функции :

Верна теорема для любой булевой функции :

Верна теорема для любой булевой функции :

Всякий фильтр F на S расширить до ультрафильтра :

Фильтр на S со свойством или называется:

Если A и B - полные наборы булевых функций, то для любой функции: