Some Theorems on the Lattice of Local Interpretability Types

Jan Krajícek. Some Theorems on the Lattice of Local Interpretability Types. Math. Log. Q., 31(29-30):449-460, 1985. [doi]

Abstract

Abstract is missing.