Сильно конструктивная модель без элементарных подмоделей и расширений. М.Г. Перетятькин — 1973 Algebra i Logika
Пример o m e g a 1 -категоричной полной конечно-аксиоматизируемой теории М.Г. Перетятькин — 1980 Algebra i Logika
Каждое рекурсивно-перечислимое расщирение теории линейного порядка имеет конструктивную модель. М.Г. Перетятькин — 1973 Algebra i Logika
Аналогии теоремы Райса для семантических классов предложений. М.Г. Перетятькин — 1991 Algebra i Logika
Вычисления на машинах Тьюринга в конечно-аксиоматизируемых теориях. М.Г. Перетятькин — 1983 Algebra i Logika