Чтобы задать подструктуру нормальной интерпретации В, нужно взять подмножество носителя В:

вопрос

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

Оставить комментарий

Отправить

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