Позитивная неотличимость алгебраических систем и полнота позитивных теорий

В работе предложен общий метод доказательства позитивной полноты теорий, а также позитивной неотличимости для моделей. Центральное место в работе занимает понятие $p$-свойства. Теория $T$ обладает $p$-свойством, если все гомоморфизмы типов «с — в» и «из — на» любых моделей теории $T$ позитивны. Получены удобные для приложений критерии $p$-свойства и позитивной полноты теорий с $p$-свойством. Дано приложение этих методов для получения одного результата по относительной разрешимости. Библиогр. 4 назв.