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