Итерации A и B элементарно эквивалентны тогда и только тогда, когда в соответствующей игре Эренфойхта:

Правильный ответ:

• # Если S не пусто, , то для того, чтобы F был фильтром нужно:
• # Ультрапроизведение семейства моделей некоторой теории моделью той же теории:
• # Тождественное отображение:
• # Глубина формулы равна:
• # Общезначима формула: