|
|
Publications in Math-Net.Ru |
Citations |
|
2023 |
1. |
M. V. Korovina, O. V. Kudinov, “Order positive fields. I”, Algebra Logika, 62:3 (2023), 307–322 |
2. |
M. V. Korovina, O. V. Kudinov, “On the computability of ordered fields”, Sib. Èlektron. Mat. Izv., 20:2 (2023), 1341–1360 |
|
2017 |
3. |
M. V. Korovina, O. V. Kudinov, “On images of partial computable functions over computable Polish spaces”, Sib. Èlektron. Mat. Izv., 14 (2017), 418–432 |
|
2016 |
4. |
M. V. Korovina, O. V. Kudinov, “Spectrum of the field of computable real numbers”, Algebra Logika, 55:6 (2016), 738–759 ; Algebra and Logic, 55:6 (2017), 485–500 |
3
|
|
2008 |
5. |
A. S. Morozov, M. V. Korovina, “$\Sigma$-Definability of countable structures over real numbers, complex numbers, and quaternions”, Algebra Logika, 47:3 (2008), 335–363 ; Algebra and Logic, 47:3 (2008), 193–209 |
13
|
6. |
M. V. Korovina, O. V. Kudinov, “The Effectively Enumerable Topological Spaces”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 8:2 (2008), 74–83 |
|
Presentations in Math-Net.Ru |
|
|
Organisations |
|
|
|
|