|
Сибирский математический журнал, 1986, том 27, номер 4, страницы 128–143
(Mi smj7172)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
Теория абелевых групп с конструктивными моделями
Н. Г. Хисамиев г. Алма-Ата
Аннотация:
Получен критерий существования конструктивной модели у полной теории абелевых групп, из которого, в частности, следует, что любая рекурсивно перечислимая теория абелевых групп без кручения имеет конструктивную модель. Показано, что существует рекурсивно перечислимая теория абелевых групп, не имеющая конструктивной модели. Выяснены вопросы (сильной) конструктивизируемости простых и насыщенных абелевых групп.
Библиогр. 21.
Статья поступила: 11.03.1984
Образец цитирования:
Н. Г. Хисамиев, “Теория абелевых групп с конструктивными моделями”, Сиб. матем. журн., 27:4 (1986), 128–143; Siberian Math. J., 27:4 (1986), 572–585
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj7172 https://www.mathnet.ru/rus/smj/v27/i4/p128
|
Статистика просмотров: |
Страница аннотации: | 53 | PDF полного текста: | 22 |
|