|
This article is cited in 7 scientific papers (total in 7 papers)
Mathematical logic, algebra and number theory
On semilattices and lattices for families of theories
S. V. Sudoplatovabcd 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
Abstract:
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.
Keywords:
$E$-operator, combination of theories, family of theories, least generating set, semilattice, lattice.
Received January 31, 2017, published September 29, 2017
Citation:
S. V. Sudoplatov, “On semilattices and lattices for families of theories”, Sib. Èlektron. Mat. Izv., 14 (2017), 980–985
Linking options:
https://www.mathnet.ru/eng/semr839 https://www.mathnet.ru/eng/semr/v14/p980
|
Statistics & downloads: |
Abstract page: | 164 | Full-text PDF : | 38 | References: | 38 |
|