|
Алгебра и логика, 1972, том 11, номер 6, страницы 656–665
(Mi al1358)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 2 статье)
Всюду определенные непрерывные функционалы
Ю. Л. Ершов
Аннотация:
В работе на основании $\lambda$-модели частичных непрерывных функционалов
${\mathbb C}$ строится $\lambda$-модель ${\mathbb G}$ всюду определенных
непрерывных функционалов. Доказывается, что ${\mathbb G}$ образует модель
исчисления бар-рекурсивных функционалов Спектора. Определяются вычислимые
всюду определенные функционалы и замечается, что все термальные функционалы
исчисления Спектора вычислимы.
Поступило: 09.10.1972
Образец цитирования:
Ю. Л. Ершов, “Всюду определенные непрерывные функционалы”, Алгебра и логика, 11:6 (1972), 656–665
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1358 https://www.mathnet.ru/rus/al/v11/i6/p656
|
Статистика просмотров: |
Страница аннотации: | 107 | PDF полного текста: | 32 | Список литературы: | 1 |
|