|
Математическая логика, алгебра и теория чисел
Conflict and conflict-free theories
A. Yu. Mikhaylenkoa, S. V. Sudoplatovbca a Novosibirsk State Technical University, 20, K. Marx ave., Novosibirsk, 630073, Russia
b Sobolev Institute of Mathematics,
4, Academician Koptyug ave.,
Novosibirsk, 630090, Russia
c Novosibirsk State University, 1, Pirogova str., Novosibirsk, 630090, Russia
Аннотация:
We define and study $\lambda$-conflict theories and, in particular, conflict-free theories. A series of conflict-free theories is found. It is proved that there are $\lambda$-conflict theories for arbitrary $\lambda$. It is shown that $\lambda$-conflictness is not preserved under expansions of theories.
Ключевые слова:
conflict theory, conflict-free theory, generic structure, cardinality contradiction.
Поступила 8 ноября 2019 г., опубликована 5 декабря 2019 г.
Образец цитирования:
A. Yu. Mikhaylenko, S. V. Sudoplatov, “Conflict and conflict-free theories”, Сиб. электрон. матем. изв., 16 (2019), 1833–1842
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr1171 https://www.mathnet.ru/rus/semr/v16/p1833
|
|