RUS  ENG
Полная версия
ЖУРНАЛЫ // Труды Математического института имени В. А. Стеклова // Архив
Тр. МИАН СССР, 1973, том 133, страницы 59–64 (Mi tm2734)
Эта публикация цитируется в 1 статье

Обобщенные вычисления

Н. В. Белякин


Аннотация: Строится рекурсивная иерархия, такая, что описываемый ею класс множеств образует модель одного фрагмента арифметики второй ступени. В основе построения лежат методы, которые в определенном смысле являются конструктивными.
Библ. – 2 назв.

УДК: 511+517.12


 Англоязычная версия: Proceedings of the Steklov Institute of Mathematics, 1977, 133, 57–61

Реферативные базы данных:

© МИАН, 2024