Аннотация:
Строится модельное пополнение для теории каждого многообразия унаров, описываются все полные теории унаров, допускающие элиминацию кванторов, и доказывается, что теория каждого бесконечного унара не является конечно аксиоматизируемой.
Библиогр. 11.
Полный текст:
PDF файл (2392 kB)
