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.

Язык оригиналаанглийский
Номер статьи126
Страницы (с-по)1833-1842
Число страниц10
ЖурналСибирские электронные математические известия
Том16
DOI
СостояниеОпубликовано - дек 2019

Предметные области OECD FOS+WOS

  • 1.01 МАТЕМАТИКА

ГРНТИ

  • 27.03 Математическая логика и основания математики

Fingerprint

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

Цитировать