|
Вестник НГУ. Серия: Математика, механика, информатика, 2008, том 8, выпуск 2, страницы 74–83
(Mi vngu290)
|
|
|
|
Эффективно перечислимые топологические пространства
М. В. Коровинаa, О. В. Кудиновb a РОССИЯ, 630090, Новосибирск, пр. Акад. Лаврентьева, 6, Институт систем информатики им. А. П. Ершова СО РАН
b РОССИЯ, 630090, Новосибирск, пр. Акад. Коптюга, 4,
Институт математики СО РАН
Аннотация:
В данной статье мы даем положительный ответ на вопрос, поставленный Дана Скоттом, о существовании класса топологических пространств, расширяющего класс вычислимых метрических пространств и класс $\omega$-непрерывных областей, и для которого понятие вычислимости совпадает с эффективной непрерывностью. В статье введен и изучен класс эффективно перечислимых топологических пространств, обладающий выше перечисленными свойствами.
Поступила в редакцию: 05.05.2008
Образец цитирования:
М. В. Коровина, О. В. Кудинов, “Эффективно перечислимые топологические пространства”, Вестн. НГУ. Сер. матем., мех., информ., 8:2 (2008), 74–83
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vngu290 https://www.mathnet.ru/rus/vngu/v8/i2/p74
|
Статистика просмотров: |
Страница аннотации: | 151 | PDF полного текста: | 75 | Список литературы: | 34 | Первая страница: | 1 |
|