|
Вестник НГУ. Серия: Математика, механика, информатика, 2012, том 12, выпуск 3, страницы 22–34
(Mi vngu3)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Элементарные теории пространств непрерывных функций
В. С. Амстиславский Институт математики им. С. Л. Соболева СО РАН, пр. Акад. Коптюга, 4, Новосибирск, 630090, Россия
Аннотация:
Исследован обобщенный метод интерпретаций и его применимость к доказательству разрешимости теорий. С помощью этого метода доказана разрешимость теории решетки непрерывных функций из $\mathbb{R}$ в $\mathbb{R}$. Доказана неразрешимость теории структуры непрерывных функций с добавлением унарного предиката, позволяющего выделить константы. Данная работа свидетельствует о том, что новый метод можно рассматривать в качестве инструмента для установления разрешимости элементарных теорий.
Ключевые слова:
элементарная теория, разрешимость теорий, сводимость теорий, обобщенный метод интерпретаций, решетка непрерывных функций.
Поступила в редакцию: 10.09.2010
Образец цитирования:
В. С. Амстиславский, “Элементарные теории пространств непрерывных функций”, Вестн. НГУ. Сер. матем., мех., информ., 12:3 (2012), 22–34; J. Math. Sci., 202:1 (2014), 13–24
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vngu3 https://www.mathnet.ru/rus/vngu/v12/i3/p22
|
Статистика просмотров: |
Страница аннотации: | 258 | PDF полного текста: | 40 | Список литературы: | 43 | Первая страница: | 5 |
|