УДК 510.649
О длине совмещающего типа в исчислении Ламбека / А. А. Сорокин // Вестн. Моск. ун-та. Сер. 1, Математика. Механика. 2011. № 3. С. 10-14.
В 1992 г. М. Р. Пентусом был установлен критерий существования такого типа C, что для данных типов A и B секвенции A → C и B → C являются выводимыми в исчислении Ламбека. В настоящей статье предлагается алгоритм построения типа C (в случае, если он существует) и доказывается квадратичная верхняя оценка его длины.
Ключевые слова: исчисление Ламбека, интерпретация в свободной группе, совместимость, совмещающий тип.
Библиогр. 4.
