Аксиоматизируемость и разрешимость универсальных теорий наследственных классов моделей конечных и бесконечных языков
Изучаются наследственные классы алгебраических систем языка L = Lfin U L∞, где Lfin =⟨Ri,R2,..., Rm, =⟩ и L∞ = ⟨Rm+1,Rm+2, . . .⟩, причём в L∞ число предикатов каждой местности конечно, все предикаты упорядочены по возрастанию своих местностей и обладают свойством неповторения элементов. Класс L-си...
| Опубликовано в: : | Прикладная дискретная математика № 66. С. 14-29 |
|---|---|
| Главный автор: | |
| Формат: | Статья в журнале |
| Язык: | Russian |
| Предметы: | |
| Online-ссылка: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001149711 |