|
|
|
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 |
|
2019 |
| 3. |
R. M. Korotkova, O. V. Kudinov, A. S. Morozov, “On mutual definability of operations on fields”, Sibirsk. Mat. Zh., 60:6 (2019), 1324–1334  ; Siberian Math. J., 60:6 (2019), 1032–1039   |
|
2017 |
| 4. |
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 |
| 5. |
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
|
|
2015 |
| 6. |
E. B. Fokina, S. S. Goncharov, V. Harizanov, O. V. Kudinov, D. Turetsky, “Index sets for $n$-decidable structures categorical relative to $m$-decidable presentations”, Algebra Logika, 54:4 (2015), 520–528  ; Algebra and Logic, 54:4 (2015), 336–341 |
11
|
|
2010 |
| 7. |
A. V. Zhukov, O. V. Kudinov, V. L. Selivanov, “Definability of closure operations in the $h$-quasiorder of labeled forests”, Algebra Logika, 49:2 (2010), 181–194  ; Algebra and Logic, 49:2 (2010), 120–129 |
1
|
| 8. |
O. V. Kudinov, V. L. Selivanov, L. V. Yartseva, “Definability in the structure of words with the inclusion relation”, Sibirsk. Mat. Zh., 51:3 (2010), 575–583 ; Siberian Math. J., 51:3 (2010), 456–462 |
1
|
|
2008 |
| 9. |
M. V. Korovina, O. V. Kudinov, “The Effectively Enumerable Topological Spaces”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 8:2 (2008), 74–83 |
|
2004 |
| 10. |
N. T. Kogabaev, O. V. Kudinov, R. Miller, “The Computable Dimension of $I$-Trees of Infinite Height”, Algebra Logika, 43:6 (2004), 702–729 ; Algebra and Logic, 43:6 (2004), 393–407 |
4
|
|
1997 |
| 11. |
O. V. Kudinov, “The problem of describing autostable models”, Algebra Logika, 36:1 (1997), 26–36 |
4
|
|
1996 |
| 12. |
O. V. Kudinov, “Some properties of autostable models”, Algebra Logika, 35:6 (1996), 685–698 |
2
|
| 13. |
O. V. Kudinov, “An autostable $1$-decidable model without a computable
Scott family of $\exists$-formulas”, Algebra Logika, 35:4 (1996), 458–467 |
24
|
| 14. |
O. V. Kudinov, “Compressed systems of finite approximations for sets in the class $\Sigma_2^0$”, Trudy Inst. Mat. SO RAN, 30 (1996), 111–113 |
|
1993 |
| 15. |
O. V. Kudinov, “Algebraic dependences and reducibilities of constructivizations in universal domains”, Trudy Inst. Mat. SO RAN, 25 (1993), 74–81 |
|
1992 |
| 16. |
O. V. Kudinov, “A criterion for the autostability of $1$-decidable models”, Algebra Logika, 31:5 (1992), 479–492 |
7
|
|
| Organisations |
|
| |
|
|
Contact us: