|
Алгебра и логика, 1991, том 30, номер 5, страницы 568–582
(Mi al2167)
|
|
|
|
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)
Тонкая иерархия формул
В. Л. Селиванов Институт математики СО АН СССР
Аннотация:
Вводится и изучается иерархия формул, утончающая иерархию по числу перемен кванторов. Доказано, что построенная иерархия является в определенном смысле самой тонкой. Получено теоретико-модельное описание классов иерархии. Установлена связь иерархии формул с соответствующей тонкой иерархией множеств и задачей вычисления сложности индексных множеств. Это позволяет понять причины того, почему индексные множества с простыми определениями универсальны.
Поступило: 08.07.1990
Образец цитирования:
В. Л. Селиванов, “Тонкая иерархия формул”, Алгебра и логика, 30:5 (1991), 568–582
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2167 https://www.mathnet.ru/rus/al/v30/i5/p568
|
Статистика просмотров: |
Страница аннотации: | 70 | PDF полного текста: | 24 |
|