Любецкий Василий Александрович

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

1. Независимость схемы свертки в арифметике второго порядка от счетного выбора без параметров
   
   Матем. заметки, 117:2 (2025),  257–269
2. Кафедра математической логики и теории алгоритмов
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2025, № 1,  23–32
3. Точный квадратичный алгоритм кратчайшего преобразования деревьев
   
   Докл. РАН. Матем., информ., проц. упр., 519 (2024),  22–27
4. Модели теории множеств, в которых теорема отделимости неверна
   
   Изв. РАН. Сер. матем., 85:6 (2021),  164–204
5. Почти точный линейный алгоритм преобразования графов из цепей и циклов, с оптимизацией суммы цен операций
   
   Докл. РАН. Матем., информ., проц. упр., 494 (2020),  26–29
6. Об отношении равенства с точностью до счетного множества
   
   Матем. заметки, 108:4 (2020),  629–631
7. Определимые элементы определимых борелевских множеств
   
   Матем. заметки, 105:5 (2019),  696–707
8. Абсолютность множества $\Sigma$ по Соловею
   
   Сиб. матем. журн., 60:6 (2019),  1286–1290
9. Линейный алгоритм перестройки графа
   
   Автомат. и телемех., 2018, № 12,  124–141
10. Неуниформизуемые множества второго проективного уровня со счетными сечениями в виде классов Витали
    
    Изв. РАН. Сер. матем., 82:1 (2018),  65–96
11. Алгоритм преобразования одного графа в другой с минимальной ценой
    
    Информ. и её примен., 11:1 (2017),  79–89
12. Определимое счетное множество, не содержащее определимых элементов
    
    Матем. заметки, 102:3 (2017),  369–382
13. Линейный алгоритм минимальной перестройки структур
    
    Пробл. передачи информ., 53:1 (2017),  60–78
14. Генерическое свойство множества $\Sigma$ по Соловею
    
    Сиб. матем. журн., 58:6 (2017),  1302–1305
15. Об эффективной $\sigma$-ограниченности и $\sigma$-компактности в модели Соловея
    
    Матем. заметки, 98:2 (2015),  247–257
16. Обобщение одной конструкции Соловея
    
    Сиб. матем. журн., 56:6 (2015),  1341–1350
17. Построение разделяющих паралоги семейств гомологичных белков, кодируемых в пластидах цветковых растений
    
    Матем. биология и биоинформ., 8:1 (2013),  225–233
18. Об эффективной компактности и сигма-компактности
    
    Матем. заметки, 91:6 (2012),  840–852
19. Взаимное расположение параллельных гиперплоскостей, квадрик и вершин многомерного куба
    
    Пробл. передачи информ., 48:2 (2012),  113–120
20. Дерево, ближайшее в среднем к данному набору деревьев
    
    Пробл. передачи информ., 47:3 (2011),  64–79
21. Эффективная минимальная кодировка несчетных множеств
    
    Сиб. матем. журн., 52:5 (2011),  1074–1086
22. О симметричных матрицах с неопределенной главной диагональю
    
    Пробл. передачи информ., 45:3 (2009),  73–78
23. Гиббсовский подход в задаче эволюции регуляторного сигнала экспрессии гена
    
    Пробл. передачи информ., 44:4 (2008),  52–71
24. Борелевская сводимость как аддитивное свойство областей
    
    Зап. научн. сем. ПОМИ, 358 (2008),  189–198
25. Нестандартные представления локально компактных групп
    
    Матем. заметки, 82:3 (2007),  383–389
26. О сводимости монадических отношений эквивалентности
    
    Матем. заметки, 81:6 (2007),  842–854
27. Проблемы теоретико-множественного нестандартного анализа
    
    УМН, 62:1(373) (2007),  51–122
28. Конфинальное семейство отношений эквивалентности и порождающих их борелевских идеалов
    
    Труды МИАН, 252 (2006),  94–113
29. О совершенных подмножествах инвариантных CA-множеств
    
    Матем. заметки, 77:3 (2005),  334–338
30. О множестве конструктивных вещественных чисел
    
    Труды МИАН, 247 (2004),  95–128
31. Стохастические динамические игры с информацией различного типа
    
    Пробл. передачи информ., 39:3 (2003),  40–71
32. О некоторых классических проблемах дескриптивной теории множеств
    
    УМН, 58:5(353) (2003),  3–88
33. Компьютерная логика в информационных процессах
    
    Пробл. передачи информ., 35:2 (1999),  107–111
34. Теоремы переноса и алгебра модальных операторов
    
    Алгебра и логика, 36:3 (1997),  282–303
35. О некоторых применениях метода семантического оценивания
    
    Пробл. передачи информ., 32:3 (1996),  82–96
36. Об одном подходе к моделированию интеллектуальных систем
    
    Пробл. передачи информ., 29:3 (1993),  107–109
37. Переход от выводимости в классической теории множеств к выводимости в интуиционистской теории множеств для языка колец
    
    Алгебра и логика, 30:6 (1991),  652–670
38. Интуиционистская теория алгебраических систем и гейтинговозначный анализ
    
    Алгебра и логика, 30:3 (1991),  320–332
39. Модельная полнота теории и оценка формул
    
    Алгебра и логика, 29:1 (1990),  15–28
40. Оценки и пучки. О некоторых вопросах нестандартного анализа
    
    УМН, 44:4(268) (1989),  99–153
41. О некоторых алгебраических вопросах нестандартного анализа
    
    Докл. АН СССР, 280:1 (1985),  38–41
42. Вложение пучков в гейтинговозначный универсум
    
    Докл. АН СССР, 268:4 (1983),  794–798
43. Некоторые применения нестандартного анализа в теории булевозначных мер
    
    Докл. АН СССР, 256:5 (1981),  1037–1041
44. Определимые последовательности счетных ординалов
    
    Докл. АН СССР, 196:6 (1971),  1263–1265
45. Из существования неизмеримого множества типа $A_2$ вытекает существование несчетного множества, не содержащего совершенного подмножества типа $CA$
    
    Докл. АН СССР, 195:3 (1970),  548–550
46. Построение эффективно недостижимого кардинала в естественном расширении системы Цермело–Френкеля
    
    Докл. АН СССР, 187:6 (1969),  1225–1228
47. Некоторые следствия гипотезы о несчетности множества конструктивных действительных чисел
    
    Докл. АН СССР, 182:4 (1968),  758–759