|
Алгебра и логика, 1985, том 24, номер 5, страницы 499–536
(Mi al1916)
|
|
|
|
$\Sigma$-предикаты конечных типов над допустимым множеством
Ю. Л. Ершов
Аннотация:
Статья содержит построение и систематическое изложение основных свойств $\Sigma$-предикатов конечных типов над произвольным допустимым множеством. Устанавливаются теоремы о существовании главных вычислимых нумераций и о неподвижной точке.
Поступило: 04.06.1985
Образец цитирования:
Ю. Л. Ершов, “$\Sigma$-предикаты конечных типов над допустимым множеством”, Алгебра и логика, 24:5 (1985), 499–536
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1916 https://www.mathnet.ru/rus/al/v24/i5/p499
|
Статистика просмотров: |
Страница аннотации: | 95 | PDF полного текста: | 34 |
|