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

75

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

Подходящих формул в языке теории Т. Если построенная интерпретация является моделью теории S, то теория Тнеразрешима. Более того, эта теория наследственно неразрешима, т.

Значения в других словарях
Суслина Теорема

(в дескриптивной теории множеств) - 1) Существует А-множество (числовой прямой не являющееся борелевским множеством. 2) Для того чтобы данное А-множество было борелевским, необходимо и достаточно, чтобы его дополнение было также А-множеством. 3) Всякое А-множество n-мерного пространства есть (ортогональная) проекция борелевского (даже типа множества пространства (и следовательно, существует плоское борелевское множество типа проекция которого не является борелевским множеством). Проекция ..

Суслина Условие

- условие, возникшее при выдвижении Суслина гипотезы. Топологич. Пространство (булева алгебра, частично упорядоченное множество) удовлетворяет С. У. Тогда и только тогда, когда всякое семейство непустых дизъюнктных открытых подмножеств (ненулевых попарно несовместных элементов) не более чем счетно. С. У. Обобщено на произвольный кардинал. Соответствующий кардинальнозначный инвариант - число Суслина. В. И. Малыхин. ..

Существенно Особая Точка

изолированная особая точка а однозначного характера аналитич. Ции f(z) комплексного переменного z, для к-рой не существует никакого, конечного или бесконечного, предела В достаточно малой проколотой окрестности С. О. Т. или в случае функция f(z)разлагается в ряд Лорана или соответственно причем в главной части этих рядов имеется бесконечно много отличных от нуля коэффициентов с k с отрицательными индексами k. Сохоцкого теорема показывает, что любое комплексное значение wиз расширенной..

Существенное Отображение

- непрерывное отображение f топологич. Пространства Xв открытый симплекс Т n такое, что всякое непрерывное отображение совпадающее с f во всех точках множества есть отображение на все Т n. Напр., тождественное отображение на себя есть С. О. Лит.:[1] Александро в П. С., Пасынков Б. А., Введение в теорию размерности ..., М., 1973. М. И. Войцеховский. ..

Дополнительный поиск Существенно Неразрешимая Теория Существенно Неразрешимая Теория

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Существенно Неразрешимая Теория" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Существенно Неразрешимая Теория, различные варианты толкований, скрытый смысл.

Первая буква "С". Общая длина 31 символа