Displaying similar documents to “Some theorems on the lattice of local interpretability types”