|
Математическая логика, алгебра и теория чисел
On freedom and independence in hypergraphs of models of theories
B. Sh. Kulpeshova, S. V. Sudoplatovbcd a International Information Technologies University,
Manas str. 34A/Zhandosov str. 8A,
050040, Almaty, Kazakhstan
b Novosibirsk State University,
Pirogova street, 1,
630090, Novosibirsk, Russia
c Sobolev Institute of Mathematics,
Academician Koptyug avenue, 4,
630090, Novosibirsk, Russia
d Novosibirsk State Technical University,
K. Marx avenue, 20,
630073, Novosibirsk, Russia
Аннотация:
The notions of freedom and independence for hypergraphs of models of a theory are introduced. We study properties of these notions in general case and for some natural classes of theories. We describe hypergraphs of models for theories of unary predicates, equivalence relations and study the properties of hypergraphs for ordered theories and for theories of unars.
Ключевые слова:
hypergraph of models, elementary theory, free set, independent sets, complete union of hypergraphs.
Поступила 3 марта 2018 г., опубликована 24 мая 2018 г.
Образец цитирования:
B. Sh. Kulpeshov, S. V. Sudoplatov, “On freedom and independence in hypergraphs of models of theories”, Сиб. электрон. матем. изв., 15 (2018), 612–630
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr940 https://www.mathnet.ru/rus/semr/v15/p612
|
Статистика просмотров: |
Страница аннотации: | 195 | PDF полного текста: | 46 | Список литературы: | 34 |
|