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
Журнал	Сибирские электронные математические известия
Том	15
DOI	https://doi.org/10.17377/semi.2018.15.049
Состояние	Опубликовано - 1 янв 2018

Предметные области OECD FOS+WOS

1.01 МАТЕМАТИКА

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

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 = "Сибирские электронные математические известия",

issn = "1813-3304",

publisher = "Sobolev Institute of Mathematics",

}

On freedom and independence in hypergraphs of models of theories. / Kulpeshov, Beibut Shaiykovich; Sudoplatov, Sergey Vladimirovich.

В: Сибирские электронные математические известия, Том 15, 01.01.2018, стр. 612-630.

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

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 -