
Science activity
Articles (6) More info
1 |
Bagaviev R.
, Batyrshin I.I.
, Bazhenov N.
, Bushtets D.
, Dorzhieva M.
, Koh H.T.
, Kornev R.
, Melnikov A.G.
, Ng K.M.
Computably and punctually universal spaces Annals of Pure and Applied Logic. 2025. V.176. N1. 103491 :1-31. DOI: 10.1016/j.apal.2024.103491 WOS Scopus РИНЦ OpenAlex |
2 |
Kornev R.
On the Group of Computable Automorphisms of the Linear Order of the Reals In compilation Twenty Years of Theoretical and Practical Synergies : 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8–12, 2024: Proceedings. – Springer Cham., 2024. – C.405-419. – ISBN 978-3-031-64309-5. DOI: 10.1007/978-3-031-64309-5_32 WOS Scopus OpenAlex |
3 |
Kornev R.A.
Computable Reducibility of Metrics on the Reals Algebra and Logic. 2022. V.61. N1. P.71-78. DOI: 10.1007/s10469-022-09676-w WOS Scopus РИНЦ OpenAlex |
4 |
Kornev R.A.
ON THE MAXIMALITY OF DEGREES OF METRICS UNDER COMPUTABLE REDUCIBILITY Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2022. V.19. N1. P.248-258. DOI: 10.33048/semi.2022.19.019 WOS Scopus РИНЦ |
5 |
Kornev R.A.
A Semilattice of Degrees of Computable Metrics Siberian Mathematical Journal. 2021. V.62. N5. P.822-841. DOI: 10.1134/S0037446621050050 WOS Scopus OpenAlex |
6 |
Dorzhieva M.V.
, Issakhov A.A.
, Kalmurzayev B.S.
, Kornev R.A.
, Kotov M.V.
Punctual Dimension of Algebraic Structures in Certain Classes Lobachevskii Journal of Mathematics. 2021. V.42. N4. P.716-725. DOI: 10.1134/S1995080221040089 WOS Scopus OpenAlex |
Conference theses (3) More info
1 |
Kornev R.A.
On a semilattice of degrees of computable metrics In compilation Международная конференция МАЛЬЦЕВСКИЕ ЧТЕНИЯ 16–20 ноября 2020 г. Тезисы докладов. 2020. – C.130. |
2 |
Kornev R.A.
Embeddings of partial orderings into reducibility of real metrics In compilation Международная конференция «Мальцевские чтения», 19-23 августа 2019 г. Тезисы докладов.. – ИМ СО РАН, НГУ., 2019. – C.93. |
3 |
Kornev R.A.
Computable metrics above the standard real metric In compilation Logic Colloquium 2018. Programme and abstracts. 2018. – C.97-98. |
Conference attendances (7) More info
1 |
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 |
2 |
Kornev R.A.
Structure of degrees of computable metrics on a Polish space Computability in Europe 2021: Connecting with Computability 05-09 Jul 2021 |
3 |
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 |
4 |
Kornev R.A.
On a semilattice of degrees of computable metrics Международная конференция «Мальцевские чтения» 16-19 Nov 2020 |
5 |
Kornev R.A.
Embeddings of partial orderings into reducibility of real metrics Международная конференция «Мальцевские чтения» 19-23 Aug 2019 |
6 |
Kornev R.A.
Computable metrics above the standard real metric Fifteenth International Conference on Computability and Complexity in Analysis 05-08 Aug 2018 |
7 |
Kornev R.A.
Computable metrics above the standard real metric Logic Colloquium 2018 23-28 Jul 2018 |