RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирские электронные математические известия // Архив

Сиб. электрон. матем. изв., 2019, том 16, страницы 1833–1842 (Mi semr1171)

Математическая логика, алгебра и теория чисел

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.

УДК: 510.67

MSC: 03C30, 03C45, 03C15, 03C52

Поступила 8 ноября 2019 г., опубликована 5 декабря 2019 г.

Язык публикации: английский

DOI: 10.33048/semi.2019.16.130



Реферативные базы данных:


© МИАН, 2024