DSpace Repository
Алгоритмическая сложность счетных моделей сильно минимальных теорий
Login
русский
English
DSpace Home
→
Периодические издания
→
Вестник НГУ. Серия: Математика
→
Том 8 (2008)
→
Выпуск 2
→
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Алгоритмическая сложность счетных моделей сильно минимальных теорий
Гончаров, Сергей Савостьянович
URI:
https://lib.nsu.ru/xmlui/handle/nsu/2668
Date:
2008
Abstract:
Получено положительное решение гипотезы С. Лемппа. Доказано, что все счетные модели сильно минимальных теорий вычислимы с оракулом 0^2, если эта теория имеет хотя бы одну вычислимую модель.
Show full item record
Files in this item
Name:
04.pdf
Size:
323.9Kb
Format:
PDF
View/
Open
This item appears in the following Collection(s)
Выпуск 2
Search DSpace
Search DSpace
This Collection
Advanced Search
Browse
All of DSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
My Account
Login
Register