|
|
|
|
| LEADER |
03541nab a2200325 c 4500 |
| 001 |
koha001149711 |
| 005 |
20250113123416.0 |
| 007 |
cr | |
| 008 |
241219|2024 ru s c rus d |
| 024 |
7 |
|
|a 10.17223/20710410/66/2
|2 doi
|
| 035 |
|
|
|a koha001149711
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 100 |
1 |
|
|a Ильев, Артем Викторович
|
| 245 |
1 |
0 |
|a Аксиоматизируемость и разрешимость универсальных теорий наследственных классов моделей конечных и бесконечных языков
|c А. В. Ильев
|
| 246 |
1 |
1 |
|a Axiomatizability and decidability of universal theories of hereditary classes of models of finite and infinite languages
|
| 336 |
|
|
|a Текст
|
| 337 |
|
|
|a электронный
|
| 504 |
|
|
|a Библиогр.: 17 назв.
|
| 520 |
3 |
|
|a Изучаются наследственные классы алгебраических систем языка L = Lfin U L∞, где Lfin =⟨Ri,R2,..., Rm, =⟩ и L∞ = ⟨Rm+1,Rm+2, . . .⟩, причём в L∞ число предикатов каждой местности конечно, все предикаты упорядочены по возрастанию своих местностей и обладают свойством неповторения элементов. Класс L-систем называется наследственным, если он замкнут относителвно подсистем. Доказано, что класс L-систем является наследственным тогда и толвко тогда, когда он может бытв определён в терминах запрещённых подсистем. Класс L-систем называется универсалвно аксиоматизируемым, если существует такое множество универсалвных предложений Z язык a L, что этот класс состоит из всех систем, удовлетворяющих множеству Z. Рассмотрены вопросы универсалвной аксиоматизируемости наследственных классов L-систем. Показано, что наследственный класс L-систем универсалвно аксиоматизируем, если и толвко если он может бытв определён в терминах конечных запрещённых подсистем. Доказана разрешимости универсалвной теории произволвного аксиоматизируемого наследственного класса L-систем, множество минимальных запрещённых подсистем которого рекурсивно.
|
| 653 |
|
|
|a алгебраические системы
|
| 653 |
|
|
|a наследственные классы
|
| 653 |
|
|
|a универсальная теория
|
| 653 |
|
|
|a универсальная аксиоматизируемость
|
| 653 |
|
|
|a разрешимость
|
| 655 |
|
4 |
|a статьи в журналах
|
| 773 |
0 |
|
|t Прикладная дискретная математика
|d 2024
|g № 66. С. 14-29
|x 2071-0410
|w 0210-48760
|
| 852 |
4 |
|
|a RU-ToGU
|
| 856 |
4 |
|
|u http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001149711
|
| 908 |
|
|
|a статья
|
| 999 |
|
|
|c 1149711
|d 1149711
|
