Интерпретация графов в решетках размерности три

Доказано, что произвольный граф интерпретируется в классе решеток высоты 4 размерности 3. Таким образом, поставленная К. Смитом проблема характеризации $\lambda$-стабильности и счетной категоричности в классе решеток размерности 3 равносильна аналогичной проблеме для графов.
Библиогр. 6.