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