Существенно Неразрешимая Теория

Алгоритмически неразрешимая логическая теория, все непротиворечивые расширений к-рой также неразрешимы (см. Неразрешимость). Элементарная теория является С. н. т. тогда и только тогда, когда всякая ее модель имеет неразрешимую элементарную теорию. С. н. т. является всякая полная неразрешимая теория, арифметика формальная;всякая теория, имеющая конечную модель, не является С. н. т. Существенная неразрешимость подходящей конечно аксиоматизируемой элементарной теории Sчасто используется при доказательстве неразрешимости данной теории Т(см. [4], [2]). При таком доказательстве теория Sинтерпретируется в какой-либо модели Мтеории Т. Область интерпретации и значения элементов сигнатуры теории Sопределяются с помощью значений в модели . подходящих формул в языке теории Т. Если построенная интерпретация является моделью теории S, то теория Тнеразрешима; более того, эта теория наследственно неразрешима, т.