|
|
Алгебра и логика, 1985, том 24, номер 6, страницы 718–727
(Mi al1926)
|
|
|
|
Strong $\Delta^0_2$ categoricity
C. J. Ash, S. S. Goncharov
Аннотация:
Рассматриваются различные классы категоричности и стабильности в конструктивных моделях, связанные с понятиями автоустойчивости и рекурсивной устойчивости. Доказано различие этих понятий и найдены синтаксические характеризации для рекурсивной стабильности.
Поступило: 05.12.1984
Образец цитирования:
C. J. Ash, S. S. Goncharov, “Strong $\Delta^0_2$ categoricity”, Алгебра и логика, 24:6 (1985), 718–727
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1926 https://www.mathnet.ru/rus/al/v24/i6/p718
|
| Статистика просмотров: |
| Страница аннотации: | 167 | | PDF полного текста: | 46 | | Список литературы: | 5 |
|