S. V. Sudoplatov, “On semilattices and lattices for families of theories”, Сиб. электрон. матем. изв., 2017, том 14,страницы 980

Эта публикация цитируется в 7 статьях

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

On semilattices and lattices for families of theories

S. V. Sudoplatov^abcd

^a Sobolev Institute of Mathematics, Academician Koptyug avenue, 4, 630090, Novosibirsk, Russia
^b Novosibirsk State University, Pirogova street, 1, 630090, Novosibirsk, Russia
^c Institute of Mathematics and Mathematical Modeling, Pushkina Street, 125, 050010, Almaty, Kazakhstan
^d Novosibirsk State Technical University, K. Marx avenue, 20, 630073, Novosibirsk, Russia

Аннотация: We define and study semilattices and lattices for $E$-closed families of theories. Properties of these semilattices and lattices are investigated. It is shown that lattices for families of theories with the least generating sets are distributive.

Ключевые слова: $E$-operator, combination of theories, family of theories, least generating set, semilattice, lattice.

УДК: 510.67

MSC: 03C30, 03C50, 54A05, 06B30

Поступила 31 января 2017 г., опубликована 29 сентября 2017 г.

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

DOI: 10.17377/semi.2017.14.082