Сиб. матем. журн.,
1987, том 28, номер 5, страницы 193–195
(Mi smj7363)
|
Эта публикация цитируется в
2 статьях
Неконструктивизируемость некоторых упорядоченных полей вещественных чисел
Н. Г. Хисамиев г. Алма-Ата
Аннотация:
Доказано, что упорядоченное поле примитивно рекурсивно вещественных чисел неконструктивизируемо.
Библиогр. 9.
УДК:
512.54:510.5
Статья поступила: 10.12.1984
© , 2024
Полный текст:
PDF файл (411 kB)
