Аннотация
We define and study λ-conflict theories and, in particular, conflict-free theories. A series of conflict-free theories is found. It is proved that there are λ-conflict theories for arbitrary. It is shown that λ-conflictness is not preserved under expansions of theories.
Язык оригинала | английский |
---|---|
Страницы (с-по) | 1833-1842 |
Число страниц | 10 |
Журнал | Сибирские электронные математические известия |
Том | 16 |
DOI | |
Состояние | Опубликовано - дек 2019 |
Предметные области OECD FOS+WOS
- 1.01 МАТЕМАТИКА