Вычислимые функционалы и арифметика ординальных типов В.А. Ганов (1986) Sibirskij matematiceskij zurnal
О выразимости в ограниченной арифметике второго порядка А.А. Набебин (1977) Sibirskij matematiceskij zurnal
Об одной полной системе классической арифметики Н.В. Белякин, N.V. Beljakin, N.V. Belâkin, N.V. Beljakin (1967) Algebra i Logika
Об одном способе моделирования классической арифметики второй ступени Н.В. Белякин (1983) Algebra i Logika