Research output: Contribution to journal › Article › peer-review
On freedom and independence in hypergraphs of models of theories. / Kulpeshov, Beibut Shaiykovich; Sudoplatov, Sergey Vladimirovich.
In: Сибирские электронные математические известия, Vol. 15, 01.01.2018, p. 612-630.Research output: Contribution to journal › Article › peer-review
}
TY - JOUR
T1 - On freedom and independence in hypergraphs of models of theories
AU - Kulpeshov, Beibut Shaiykovich
AU - Sudoplatov, Sergey Vladimirovich
PY - 2018/1/1
Y1 - 2018/1/1
N2 - 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.
AB - 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.
KW - Complete union of hypergraphs
KW - Elementary theory
KW - Free set
KW - Hypergraph of models
KW - Independent sets
UR - http://www.scopus.com/inward/record.url?scp=85066871380&partnerID=8YFLogxK
U2 - 10.17377/semi.2018.15.049
DO - 10.17377/semi.2018.15.049
M3 - Article
AN - SCOPUS:85066871380
VL - 15
SP - 612
EP - 630
JO - Сибирские электронные математические известия
JF - Сибирские электронные математические известия
SN - 1813-3304
ER -
ID: 20586862