Наследственные рекурсивно-перечислимые подалгебры рекурсивной булевой алгебры С.П. Одинцов — 1992 Algebra i Logika
Решётка рекурсивно-перечислимых подалгебр рекурсивной булевой алгебры. С.П. Одинцов — 1986 Algebra i Logika
Арифметическая иерархия и идеалы нумерованных булевых алгебр. С.П. Одинцов; В.Л. Селиванов — 1989 Sibirskij matematiceskij zurnal
Бесконечные арифметические формулы и принцип рефлексии. Н.В. Белякин; С.П. Одинцов; N. V. Beljakin; S. P. Odincov; N. V. Belǎkin; S. P. Odincov; N. V. Beljakin; S. P. Odincov — 1997 Algebra i Logika