Белякин Николай Васильевич

Публикации в базе данных Math-Net.Ru

1. Интенсиональность, рефлексия, большие кардиналы
   
   Сиб. матем. журн., 43:6 (2002),  1222–1234
2. Бесконечные арифметические формулы и принцип рефлексии
   
   Алгебра и логика, 36:3 (1997),  245–258
3. Пульсирующие иерархии
   
   Сиб. матем. журн., 35:3 (1994),  520–526
4. Нестандартный анализ и аксиома детерминированности
   
   Алгебра и логика, 32:6 (1993),  607–617
5. Эффективные иерархии
   
   Алгебра и логика, 29:4 (1990),  385–397
6. Вычисления с оракулами: обобщенная селекция
   
   Сиб. матем. журн., 31:4 (1990),  192–196
7. Вычисления с оракулами
   
   Тр. Ин-та математики, 12 (1989),  4–24
8. Итерированная клиниевская вычислимость
   
   Сиб. матем. журн., 30:6 (1989),  26–41
9. Об одном способе моделирования классической арифметики второй ступени
   
   Алгебра и логика, 22:1 (1983),  3–25
10. Автономная вычислимость
    
    Алгебра и логика, 18:4 (1979),  398–407
11. Итерированная клиниевская вычислимость и суперджамп
    
    Матем. сб., 101(143):1(9) (1976),  21–43
12. Обобщенные вычисления и арифметика третьей ступени
    
    Алгебра и логика, 13:2 (1974),  132–144
13. Обобщенные вычисления над регулярными нумерациями
    
    Алгебра и логика, 12:6 (1973),  623–643
14. Об одном классе рекурсивных иерархий
    
    Алгебра и логика, 12:1 (1973),  3–21
15. Обобщенные вычисления
    
    Тр. МИАН СССР, 133 (1973),  59–64
16. Обобщенные вычисления и арифметика второй ступени
    
    Алгебра и логика, 9:4 (1970),  375–405
17. Вариант конструктивных ординалов Рихтера
    
    Алгебра и логика, 8:2 (1969),  154–171
18. Об одной полной системе классической арифметики
    
    Алгебра и логика. Семинар, 6:2 (1967),  5–11
19. О полноте арифметики
    
    Докл. АН СССР, 175:5 (1967),  975–977
20. Машины Тьюринга, работающие на плоскости
    
    Докл. АН СССР, 168:3 (1966),  502–503
21. Вычисление эффективных операторов на машинах Тьюринга с ограниченным стиранием
    
    Алгебра и логика. Семинар, 2:1 (1963),  19–23
22. Размещение промежуточной информации при вычислениях на нестирающих машинах Тьюринга
    
    Докл. АН СССР, 152:1 (1963),  75–77
23. Об одном классе машин Тьюринга
    
    Докл. АН СССР, 148:1 (1963),  47–49