RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирский математический журнал // Архив

Сиб. матем. журн., 1975, том 16, номер 6, страницы 1148–1154 (Mi smj4207)

Эта публикация цитируется в 1 статье

О рекурсивно-нумерованных классах конструктивных расширений и автоустойчивости алгебр

В. П. Добрица


Аннотация: Доказываются два достаточных условия отсутствия главного рекурсивно-нумерованного класса всех неавтоэквивалентных конструктивных решений конструктивной алгебры в данном классе алгебр. Дается достаточное условие существования у алгебры счетного числа неавтоэквивалентных конструктивизаций. Установлено, что при этом же условии не существует рекурсивно-нумерованного класса неавтоэквивалентных конструктивизаций этой алгебры.

УДК: 517.15

Статья поступила: 22.05.1974


 Англоязычная версия: Siberian Mathematical Journal, 1975, 16:6, 879–883

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


© МИАН, 2024