Conflict and conflict-free theories

A. Yu Mikhaylenko; S. V. Sudoplatov

doi:10.33048/semi.2019.16.130

Conflict and conflict-free theories

A. Yu Mikhaylenko, S. V. Sudoplatov

Кафедра алгебры и математической логики ММФ

Результат исследования: Научные публикации в периодических изданиях › статья

Аннотация

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
Журнал	Siberian Electronic Mathematical Reports
Том	16
DOI	https://doi.org/10.33048/semi.2019.16.130
Состояние	Опубликовано - дек 2019

Доступ к документу

10.33048/semi.2019.16.130

Link to publication in Scopus

Fingerprint Подробные сведения о темах исследования «Conflict and conflict-free theories». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать

@article{3a9783164f5e446e93f2870739637aff,

title = "Conflict and conflict-free theories",

abstract = "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.",

keywords = "Cardinality contradiction, Conflict theory, Conflict-free theory, Generic structure, cardinality contradiction, generic structure, conflict theory, conflict-free theory, CONSTRUCTIONS",

author = "Mikhaylenko, {A. Yu} and Sudoplatov, {S. V.}",

year = "2019",

month = dec,

doi = "10.33048/semi.2019.16.130",

language = "English",

volume = "16",

pages = "1833--1842",

journal = "Siberian Electronic Mathematical Reports",

issn = "1813-3304",

publisher = "Sobolev Institute of Mathematics",

}

TY - JOUR

T1 - Conflict and conflict-free theories

AU - Mikhaylenko, A. Yu

AU - Sudoplatov, S. V.

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

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 - Siberian Electronic Mathematical Reports

JF - Siberian Electronic Mathematical Reports

SN - 1813-3304

ER -