On semilattices and lattices for families of theories
Sergey Vladimirovich Sudoplatov · arXiv (Cornell University) · 2017
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 least generating sets are distributive.