Sciact
  • EN
  • RU

On freedom and independence in hypergraphs of models of theories Full article

Journal Сибирские электронные математические известия (Siberian Electronic Mathematical Reports)
, E-ISSN: 1813-3304
Output data Year: 2018, Volume: 15, Pages: 612-630 Pages count : 19 DOI: 10.17377/semi.2018.15.049
Tags hypergraph of models, elementary theory, free set, independent sets, complete union of hypergraphs.
Authors Кулпешов Б.Ш. 1 , Sudoplatov Sergei Vladimirovich 2,3,4
Affiliations
1 International University of IT
2 Sobolev Institute of Mathematics
3 Novosibirsk State Technical University
4 Novosibirsk State University

Abstract: 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.
Cite: Кулпешов Б.Ш. , Sudoplatov S.V.
On freedom and independence in hypergraphs of models of theories
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2018. V.15. P.612-630. DOI: 10.17377/semi.2018.15.049 WOS Scopus РИНЦ
Dates:
Submitted: Mar 3, 2018
Published online: May 24, 2018
Identifiers:
Web of science: WOS:000438412200049
Scopus: 2-s2.0-85066871380
Elibrary: 36998700
Citing:
DB Citing
Web of science 1
Scopus 1
Elibrary 1
Altmetrics: