On semilattices and lattices for families of theories
arXiv:1701.00208
Abstract
We define and study semilattices and lattices for -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.
arXiv admin note: text overlap with arXiv:1601.00043, arXiv:1601.00041, arXiv:1701.00206, arXiv:1701.00205