|
1
|
Багавиев Р.
, Батыршин И.
, Баженов Н.
, Буштец Д.
, Доржиева М.
, Ко Х.Т.
, Корнев Р.
, Мельников А.
, Нг К.М.
О вычислимо и пунктуально универсальных пространствах
Научная конференция сотрудников ИМ СО РАН, посвященная подведению итогов 2025 года
27-28 нояб. 2025
|
|
2
|
Корнев Р.А.
О группе вычислимых автоморфизмов порядка на вещественных числах
IV Конференция математических центров России, посвященная 300-летию СПбГУ и РАН.
06-11 авг. 2024
|
|
3
|
Kornev R.A.
On the group of computable automorphisms of the linear order of the reals
Twenty Years of Theoretical and Practical Synergies : 20th Conference on Computability in Europe
08-12 Jul 2024
|
|
4
|
Корнев Р.А.
Некоторые вопросы теории вычислимых метрических пространств
Мальцевские чтения : Международная конференция
13-17 нояб. 2023
|
|
5
|
Корнев Р.А.
Вычислимая сводимость метрик на вещественных числах
Algorithmic Presentations in Mathematics
08-12 нояб. 2021
|
|
6
|
Kornev R.A.
Structure of degrees of computable metrics on a Polish space
Computability in Europe 2021: Connecting with Computability
05-09 Jul 2021
|
|
7
|
Kornev R.A.
Degrees of metrics under computable reducibility
Japan-Russia Workshop on effective descriptive set theory, computable analysis and automata
17-19 Mar 2021
|
|
8
|
Kornev R.A.
On a semilattice of degrees of computable metrics
Международная конференция «Мальцевские чтения»
16-19 Nov 2020
|
|
9
|
Kornev R.A.
Embeddings of partial orderings into reducibility of real metrics
Международная конференция «Мальцевские чтения»
19-23 Aug 2019
|
|
10
|
Kornev R.A.
Computable metrics above the standard real metric
Fifteenth International Conference on Computability and Complexity in Analysis
05-08 Aug 2018
|
|
11
|
Kornev R.A.
Computable metrics above the standard real metric
Logic Colloquium 2018
23-28 Jul 2018
|