Теория моделей. Часть 15. Равносильные определения насыщенности

В определении каппа-насыщенности мы требуем реализации полных 1-типов (над множеством мощности меньше каппа), однако как требование полноты, так и одномерности - несущественны. Эквивалентным определением каппа-насыщенности будет требование реализации (частичных) n-типов (над множеством мощности меньше каппа). Это упрощает ряд доказательств. Донатить можно тут: https://mathem.at/Materials/maglish_index.html#support