С. С. Гончаров, “Индексные множества почти простых конструктивных моделей”, Вестн. НГУ. Сер. матем., мех., информ., 2013, том 13, выпуск 3,страницы 38

Эта публикация цитируется в 5 статьях

Индексные множества почти простых конструктивных моделей

С. С. Гончаров^ab

^a Институт математики им. С. Л. Соболева СО РАН, пр. Акад. Коптюга, 4, Новосибирск, 630090, Россия
^b Новосибирский государственный университет, ул. Пирогова, 2, Новосибирск, 630090, Россия

Аннотация: Получены оценки алгоритмической сложности классов вычислимых и разрешимых почти простых моделей.

Ключевые слова: модель, разрешимая модель, вычислимая модель, конструктивная модель, сильно конструктивная модель, простая модель, почти простая модель, индексные множества.

УДК: 517.1+519.5

Поступила в редакцию: 25.03.2013