Стукачев А.И. Sigma-определимость в наследственно-конечных надстройках и пары моделей

Статья из журнала "Алгебра и логика", 2004, том 43, № 4, с. 459-481 (УДК 510.5) Аннотация: в данной работе изучается понятие sigma-определимости алгебраических систем в настедственно-конечных надстройках, которое позволяет, в частности, ввести аналоги понятия конструктивности для несчетных моделей. В работе вводится понятие относительной неразличимости, посредством которого единым способом даются критерии sigma-определимости несчетной модели c-простой теории в наследственно конечных надстройках над плотными линейными порядками и бесконечными моделями пустой сигнатуры (с равенством).