Математическая энциклопедия - существенно неразрешимая теория
Связанные словари
Существенно неразрешимая теория
алгоритмически неразрешимая логическая теория, все непротиворечивые расширений к-рой также неразрешимы (см. Неразрешимость). Элементарная теория является С. н. т. тогда и только тогда, когда всякая ее модель имеет неразрешимую элементарную теорию. С. н. т. является всякая полная неразрешимая теория, арифметика формальная;всякая теория, имеющая конечную модель, не является С. н. т.
Существенная неразрешимость подходящей конечно аксиоматизируемой элементарной теории Sчасто используется при доказательстве неразрешимости данной теории Т(см. [4], [2]). При таком доказательстве теория Sинтерпретируется в какой-либо модели Мтеории Т. Область интерпретации и значения элементов сигнатуры теории Sопределяются с помощью значений в модели . подходящих формул в языке теории Т. Если построенная интерпретация является моделью теории S, то теория Тнеразрешима; более того, эта теория наследственно неразрешима, т. .
Вопрос-ответ:
Самые популярные термины
1 | 558 | |
2 | 484 | |
3 | 482 | |
4 | 474 | |
5 | 455 | |
6 | 442 | |
7 | 439 | |
8 | 435 | |
9 | 426 | |
10 | 425 | |
11 | 424 | |
12 | 414 | |
13 | 407 | |
14 | 378 | |
15 | 377 | |
16 | 373 | |
17 | 367 | |
18 | 366 | |
19 | 366 | |
20 | 365 |