|
Вестник НГУ. Серия: Математика, механика, информатика, 2015, том 15, выпуск 1, страницы 3–20
(Mi vngu358)
|
|
|
|
Дальнейшие обобщения результатов о структуре непрерывных функций
В. С. Амстиславский Институт систем информатики им. А. П. Ершова СО РАН, пр. Акад. Лаврентьева, 6, Новосибирск, 630090, Россия
Аннотация:
Рассматриваются новые применения обобщенного метода интерпретаций для доказательства разрешимости теорий некоторых распространенных структур в анализе. Ранее этим методом была доказана разрешимость теории решетки непрерывных вещественнозначных функций. В этой работе решетка непрерывных вещественнозначных функций обобщается до алгебраической структуры непрерывных функций над совершенно нормальным пространством. С использованием обобщенного метода интерпретаций доказана разрешимость теории этой структуры при некоторых условиях.
Ключевые слова:
элементарная теория, решетка непрерывных функций, разрешимость теории, совершенно нормальное пространство, обобщенный метод интерпретаций.
Поступила в редакцию: 03.06.2014
Образец цитирования:
В. С. Амстиславский, “Дальнейшие обобщения результатов о структуре непрерывных функций”, Вестн. НГУ. Сер. матем., мех., информ., 15:1 (2015), 3–20; J. Math. Sci., 215:4 (2016), 421–435
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vngu358 https://www.mathnet.ru/rus/vngu/v15/i1/p3
|
Статистика просмотров: |
Страница аннотации: | 278 | PDF полного текста: | 78 | Список литературы: | 65 | Первая страница: | 5 |
|