Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
Conflict and conflict-free theories. / Mikhaylenko, A. Yu; Sudoplatov, S. V.
в: Сибирские электронные математические известия, Том 16, 126, 12.2019, стр. 1833-1842.Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
}
TY - JOUR
T1 - Conflict and conflict-free theories
AU - Mikhaylenko, A. Yu
AU - Sudoplatov, S. V.
N1 - This research was partially supported by the program of fundamental scientific researches of the SB RAS No. I.1.1, project No. 0314-2019-0002, Russian Foundation for Basic Researches (Project No. 17-01-00531-a), and Committee of Science in Education and Science Ministry of the Republic of Kazakhstan (Grant No. AP05132546).
PY - 2019/12
Y1 - 2019/12
N2 - 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.
AB - 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.
KW - Cardinality contradiction
KW - Conflict theory
KW - Conflict-free theory
KW - Generic structure
KW - cardinality contradiction
KW - generic structure
KW - conflict theory
KW - conflict-free theory
KW - CONSTRUCTIONS
UR - http://www.scopus.com/inward/record.url?scp=85078659347&partnerID=8YFLogxK
UR - https://www.elibrary.ru/item.asp?id=42735172
U2 - 10.33048/semi.2019.16.130
DO - 10.33048/semi.2019.16.130
M3 - Article
AN - SCOPUS:85078659347
VL - 16
SP - 1833
EP - 1842
JO - Сибирские электронные математические известия
JF - Сибирские электронные математические известия
SN - 1813-3304
M1 - 126
ER -
ID: 23257668