Конструктивная формализация теоремы Тенненбаума и ее применения
В. Е. Плиско

Эта публикация цитируется в следующих статьяx:

1. В. Е. Плиско, “Неарифметичность предикатной логики примитивно рекурсивной реализуемости”, Изв. РАН. Сер. матем., 87:2 (2023), 196–228          ; V. E. Plisko, “The nonarithmeticity of the predicate logic of primitive recursive realizability”, Izv. Math., 87:2 (2023), 389–419    
2. В. Е. Плиско, “Обзор предикатной логики реализуемости”, Алгоритмические вопросы алгебры и логики, Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, Труды МИАН, 274, МАИК «Наука/Интерпериодика», М., 2011, 222–251      ; Valerii E. Plisko, “A survey of predicate realizability logic”, Proc. Steklov Inst. Math., 274 (2011), 204–230      
3. Plisko, V, “Arithmetic complexity of the predicate logics of certain complete arithmetic theories”, Annals of Pure and Applied Logic, 113:1–3 (2002), 243        
4. Р. Э. Яворский, “Предикатные логики выразительно сильных теорий”, Матем. заметки, 66:5 (1999), 777–788        ; R. È. Yavorskii, “Predicate logics of expressively strong theories”, Math. Notes, 66:5 (1999), 642–650      
5. Albert Visser, “Rules and Arithmetics”, Notre Dame J. Formal Logic, 40:1 (1999)  
6. В. Е. Плиско, “Модифицированная реализуемость и логика предикатов”, Матем. заметки, 61:2 (1997), 259–269        ; V. E. Plisko, “Modified realizability and predicate logic”, Math. Notes, 61:2 (1997), 212–220