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 commentarXiv admin note: text overlap with arXiv:1601.00043, arXiv:1601.00041, arXiv:1701.00206, arXiv:1701.00205