Аннотация
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 | |
Состояние | Опубликовано - 1 янв 2018 |
Предметные области OECD FOS+WOS
- 1.01 МАТЕМАТИКА