Кудинов Олег Викторович

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

1. Порядково позитивные поля. I
   
   Алгебра и логика, 62:3 (2023),  307–322
2. On the computability of ordered fields
   
   Сиб. электрон. матем. изв., 20:2 (2023),  1341–1360
3. О взаимной определимости операций над полями
   
   Сиб. матем. журн., 60:6 (2019),  1324–1334
4. On images of partial computable functions over computable Polish spaces
   
   Сиб. электрон. матем. изв., 14 (2017),  418–432
5. Спектр поля вычислимых действительных чисел
   
   Алгебра и логика, 55:6 (2016),  738–759
6. Индексные множества $n$-разрешимых структур, категоричных относительно $m$-разрешимых представлений
   
   Алгебра и логика, 54:4 (2015),  520–528
7. Определимость операций замыкания в $h$-предпорядке размеченных лесов
   
   Алгебра и логика, 49:2 (2010),  181–194
8. Определимость в структуре слов с отношением включения
   
   Сиб. матем. журн., 51:3 (2010),  575–583
9. Эффективно перечислимые топологические пространства
   
   Вестн. НГУ. Сер. матем., мех., информ., 8:2 (2008),  74–83
10. Вычислимая размерность $I$-деревьев бесконечной высоты
    
    Алгебра и логика, 43:6 (2004),  702–729
11. Проблема описания автоустойчивых моделей
    
    Алгебра и логика, 36:1 (1997),  26–36
12. Некоторые свойства автоустойчивых моделей
    
    Алгебра и логика, 35:6 (1996),  685–698
13. Автоустойчивая $1$-разрешимая модель без вычислимого семейства Скотта $\exists$-формул
    
    Алгебра и логика, 35:4 (1996),  458–467
14. Сжатые системы финитных аппроксимаций множеств из класса $\Sigma_2^0$
    
    Тр. Ин-та математики СО РАН, 30 (1996),  111–113
15. Алгебраические зависимости и сводимости конструктивизаций в универсальных областях
    
    Тр. Ин-та математики СО РАН, 25 (1993),  74–81
16. Критерий автоустойчивости $1$-разрешимых моделей
    
    Алгебра и логика, 31:5 (1992),  479–492