Science activity

Articles (13) More info

1	Korovina M.V. , Kudinov O.V. On the Computability of Ordered Fields Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2023. V.20. N2. P.1341-1360. DOI: 10.33048/semi.2023.20.081 Scopus РИНЦ
2	Korovina M.V. , Kudinov O.V. Order positive fields. I Algebra and Logic. 2023. V.62. N3. P.203-214. DOI: 10.1007/s10469-024-09738-1 WOS Scopus РИНЦ OpenAlex
3	Korovina M. , Kudinov O. Computable Topology for Reliable Computations Lecture Notes in Computer Science. 2019. V.11964 LNCS. P.185-198. DOI: 10.1007/978-3-030-37487-7_15 Scopus OpenAlex
4	Korotkova R.M. , Kudinov O.V. , Morozov A.S. On Mutual Definability of Operations on Fields Siberian Mathematical Journal. 2019. V.60. N6. P.1032-1039. DOI: 10.1134/S0037446619060119 WOS Scopus OpenAlex
5	Korovina M. , Kudinov O. Complexity for partial computable functions over computable Polish spaces Mathematical Structures in Computer Science. 2018. V.28. N3. P.429-447. DOI: 10.1017/S0960129516000438 WOS Scopus OpenAlex
6	Korovina M. , Kudinov O. Weak reduction principle and computable metric spaces Lecture Notes in Computer Science. 2018. V.10936 LNCS. P.234-243. DOI: 10.1007/978-3-319-94418-0_24 Scopus OpenAlex
7	Korovina M. , Kudinov O. Highlights of the rice-shapiro theorem in computable topology Lecture Notes in Computer Science. 2018. V.10742 LNCS. P.241-255. DOI: 10.1007/978-3-319-74313-4_18 Scopus OpenAlex
8	Korovina M. , Kudinov O. The rice-shapiro theorem in computable topology Logical Methods in Computer Science. 2017. V.13. N4. 30 . DOI: 10.23638/LMCS-13(4:30)2017 WOS Scopus OpenAlex
9	Korovina M.V. , Kudinov O.V. Spectrum of the Field of Computable Real Numbers Algebra and Logic. 2017. V.55. N6. P.485-500. DOI: 10.1007/s10469-017-9419-8 WOS Scopus OpenAlex
10	Kudinov O. , Selivanov V. First order theories of some lattices of open sets Logical Methods in Computer Science. 2017. V.13. N3. 16 . DOI: 10.23638/LMCS-13(3:16)2017 WOS Scopus OpenAlex
11	Korovina M.V. , Kudinov O.V. On images of partial computable functions over computable Polish spaces Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2017. V.14. P.418-432. DOI: 10.17377/semi.2017.14.035 WOS Scopus
12	Korovina M.V. , Kudinov O.V. On higher effective descriptive set theory Lecture Notes in Computer Science. 2017. V.10307. P.282-291. DOI: 10.1007/978-3-319-58741-7_27 Scopus OpenAlex
13	Korovina M. , Kudinov O. Outline of partial computability in computable topology Lecture Notes in Computer Science. 2017. V.10307. P.64-76. DOI: 10.1007/978-3-319-58741-7_7 Scopus OpenAlex

Conference theses (2) More info

1	Korovina M.V. , Kudinov O.V. Arithmetical complexity for order positive fields In compilation Тезисы докладов международной конференции "Мальцевские чтения", 11-15 ноября 2024 г.. 2024. – C.152.
2	Korovina M.V. , Kudinov O.V. Index sets for order positive fields In compilation Тезисы докладов Международной конференции "Мальцевские чтения", 13–17 ноября 2023г.. 2023. – C.140. РИНЦ

Conference attendances (7) More info

1	Коровина М.В. , Кудинов О.В. Index sets for order positive fields Мальцевские чтения : Международная конференция 13-17 Nov 2023
2	Korovina M. , Kudinov O. Some properties of compexity classes over real numbers Japan-Russia Workshop on effective descriptive set theory, computable analysis and automata 17-19 Mar 2021
3	Коровина М.В. , Кудинов О.В. Imdex sets and existence of computable copies Международная конференция «Мальцевские чтения» 16-19 Nov 2020
4	Korovina M. , Kudinov O. Computable topology for reliable computations A.P. Ershov Informatic Conferemce 02-05 Jul 2019
5	Korovina M. , Kudinov O. Weak reduction principle and computable metric spaces 14th Conference on Computability in Europe 30 Jul - 3 Aug 2018
6	Korovina M. , Kudinov O. Highlights of the rice-shapiro theorem in computable topology 11th International Andrei Ershov Memorial Conference on Perspectives of System Informatics 27-29 Jun 2017
7	Korovina M. , Kudinov O. On higher effective descriptive set theory Computability in Europe 2017 12 Jun - 16 Jul 2017

Identifiers