16 теорема Лёвенгейма Сколема

- элементарная теория - элементарно эквивалентные модели/структуры - под/надструктура, под/надмодель - теорема об элементарном вложении стандартной модели арифметики - теорема Лёвенгейма-Сколема о понижении мощности - теорема Лёвенгейма-Сколема о повышении мощности После выноса заметил ошибку на отметке 13:16. Все-таки если не получается, что все функции замкнуты на B, то мы такую структуру вообще не рассматриваем как подструктуру. Иначе говоря, если B таково, что все функции сигнатуры замкнуты относительно B, то только в этом случае мы можем создать подструктуру с носителем B.