|
Сибирский математический журнал, 1986, том 27, номер 1, страницы 57–69
(Mi smj7093)
|
|
|
|
Эта публикация цитируется в 10 научных статьях (всего в 10 статьях)
О полных теориях унаров
А. А. Иванов г. Новосибирск
Аннотация:
Строится модельное пополнение для теории каждого многообразия унаров, описываются все полные теории унаров, допускающие элиминацию кванторов, и доказывается, что теория каждого бесконечного унара не является конечно аксиоматизируемой.
Библиогр. 11.
Статья поступила: 05.11.1983
Образец цитирования:
А. А. Иванов, “О полных теориях унаров”, Сиб. матем. журн., 27:1 (1986), 57–69; Siberian Math. J., 27:1 (1986), 45–55
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj7093 https://www.mathnet.ru/rus/smj/v27/i1/p57
|
Статистика просмотров: |
Страница аннотации: | 77 | PDF полного текста: | 43 |
|