RUS  ENG
Полная версия
ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив
Зап. научн. сем. ПОМИ, 2003, том 304, страницы 121–127 (Mi znsl880)
Эта публикация цитируется в 1 статье

Destinies and decidability

[Предначертания и разрешимость]

P. Cégielski

Université Paris XII Val de Marne

Аннотация: Франсис Незонде предложил новый инструмент, названный предначертания (destiny), используемый для изучения открытых проблем теории чисел. Мы даем достаточное условие вычислимости предначертаний структуры. Библ. – 1 назв.

УДК: 517.11

Поступило: 07.03.2003

Язык публикации: английский


 Англоязычная версия: Journal of Mathematical Sciences (New York), 2005, 130:2, 4620–4623

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

© МИАН, 2024