RUS  ENG
Full version
JOURNALS // Sibirskie Èlektronnye Matematicheskie Izvestiya [Siberian Electronic Mathematical Reports] // Archive

Sib. Èlektron. Mat. Izv., 2019 Volume 16, Pages 1833–1842 (Mi semr1171)

Mathematical logic, algebra and number theory

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

Abstract: 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.

Keywords: conflict theory, conflict-free theory, generic structure, cardinality contradiction.

UDC: 510.67

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

Received November 8, 2019, published December 5, 2019

Language: English

DOI: 10.33048/semi.2019.16.130



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024