Псевдоконечная однородность, изолированность и сводимость

Ранее установлено (С. М. Дудаков, М. А. Тайцлин), что из сводимости некоторых моделей теории следует второе свойство псевдоконечной однородности для этой теории. Здесь мы доказываем обратное: из любого (первого или второго) свойства псевдоконечной однородности теории следует сводимость некоторых ее моделей и, следовательно, второе свойство изолированности. Это доказывает также эквивалентность вторых свойств изолированности и псевдоконечной однородности, что контрастирует с тем, что первое свойство псевдоконечной однородности является более общим, чем первое свойство изолированности (О. В. Белеградек, А. П. Столбоушин, М. А. Тайцлин).
Библиография: 13 названий.