|
Сибирский математический журнал, 1975, том 16, номер 6, страницы 1246–1254
(Mi smj4217)
|
|
|
|
Эта публикация цитируется в 6 научных статьях (всего в 6 статьях)
Об эффективных линейных порядках
А. Г. Пинус
Аннотация:
В работе вводится и исследуется понятие конструктивного линейно-упорядоченного множества, обобщающее понятие
конструктивного ординала, введенное Клини и Черчем. Изучается связь междуконструктивностью и рекурсивностью линейно-упорядоченных множеств, а также между конструктивными линейно-упорядоченными множествами и конструктивными, в смысле Клини, ординалами.
Статья поступила: 06.05.1974
Образец цитирования:
А. Г. Пинус, “Об эффективных линейных порядках”, Сиб. матем. журн., 16:6 (1975), 1246–1254; Siberian Math. J., 16:6 (1975), 956–962
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj4217 https://www.mathnet.ru/rus/smj/v16/i6/p1246
|
|