Сохранение эквивалентности выводов при редукции глубины формул С.В. Соловьев — 1979 Zapiski naucnych seminarov Leningradskogo
Рост длины секвенциального вывода при перестройке в натуральный С.В. Соловьев — 1979 Zapiski naucnych seminarov Leningradskogo
О естественных преобразованиях суперпозиций выделенных функторов в некоторых замкнутых категориях С.В. Соловьев — 1987 Zapiski naucnych seminarov Leningradskogo
Категория конечных множеств и декартово замкнутые категории С.В. Соловьев — 1981 Zapiski naucnych seminarov Leningradskogo
Теорема когеррентности для канонических морфизмов в декартово замкнутых категориях A.A. Бабаев; С.В. Соловьев — 1979 Zapiski naucnych seminarov Leningradskogo