|
|
Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
10 апреля 2024 г. 18:15–19:45, г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
|
|
|
|
|
|
О наследственной неразрешимости фрагментов элементарных теорий–2
В. Е. Карпов Московский физико-технический институт (национальный исследовательский университет), Московская облаcть, г. Долгопрудный
|
Количество просмотров: |
Эта страница: | 45 |
|
Аннотация:
Мы продолжим обсуждение метода интерпретаций и его применений. В ходе настоящего доклада будет показано, что класс всех конечных двудольных графов является $\Sigma_1$-интерпретируемым (без параметров) в классе всех пар эквивалентностей на общем конечном носителе. Отсюда будет следовать наследственная неразрешимость $\Sigma_2$-теории второго класса, а также, по модулю $\Sigma_1$-интерпретации из предыдущего доклада, наследственная неразрешимость $\Sigma_2$-теории класса всех пар, состоящих из линейного порядка и эквивалентности на общем конечном носителе.
|
|