On freedom and independence in hypergraphs of models of theories

Beibut Shaiykovich Kulpeshov; Sergey Vladimirovich Sudoplatov

doi:10.17377/semi.2018.15.049

On freedom and independence in hypergraphs of models of theories

Beibut Shaiykovich Kulpeshov, Sergey Vladimirovich Sudoplatov

Результат исследования: Научные публикации в периодических изданиях › статья

1 Цитирования (Scopus)

Аннотация

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.

Язык оригинала	английский
Страницы (с-по)	612-630
Число страниц	19
Журнал	Siberian Electronic Mathematical Reports
Том	15
DOI	https://doi.org/10.17377/semi.2018.15.049
Состояние	Опубликовано - 1 янв 2018

Доступ к документу

10.17377/semi.2018.15.049

Link to publication in Scopus

Fingerprint Подробные сведения о темах исследования «On freedom and independence in hypergraphs of models of theories». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать

@article{230a5b2e8a8b4deb803438c7def92dbf,

title = "On freedom and independence in hypergraphs of models of theories",

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.",

keywords = "Complete union of hypergraphs, Elementary theory, Free set, Hypergraph of models, Independent sets",

author = "Kulpeshov, {Beibut Shaiykovich} and Sudoplatov, {Sergey Vladimirovich}",

year = "2018",

month = jan,

day = "1",

doi = "10.17377/semi.2018.15.049",

language = "English",

volume = "15",

pages = "612--630",

journal = "Siberian Electronic Mathematical Reports",

issn = "1813-3304",

publisher = "Sobolev Institute of Mathematics",

}

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 - Siberian Electronic Mathematical Reports

JF - Siberian Electronic Mathematical Reports

SN - 1813-3304

ER -