Edit Profile Kudinov, Oleg Victorovich Compute Distance To: Compute Author ID: kudinov.oleg-victorovich Published as: Kudinov, O.; Kudinov, O. V.; Kudinov, Oleg; Kudinov, Oleg V.; Kudinov, Oleg Victorovich Documents Indexed: 51 Publications since 1990, including 1 Book all top 5 Co-Authors 8 single-authored 24 Korovina, Margarita Vladimirovna 12 Selivanov, Viktor L’vovich 3 Goncharov, Sergeĭ Savost’yanovich 3 Zhukov, Anton V. 2 Fokina, Ekaterina B. 2 Harizanov, Valentina S. 2 Knight, Julia F. 2 Miller, Russell G. 2 Morozov, Andreĭ Sergeevich 2 Turetsky, Daniel D. 2 Yartseva, Lyudmila V. 1 Calvert, Wesley 1 Downey, Rodney Graham 1 Frolov, Andrey N. 1 Kach, Asher M. 1 Kalimullin, Iskander Shagitovich 1 Kogabaev, N. T. 1 Korotkova, R. M. 1 Melnikov, Alexander G. 1 Pal’chunov, Dimitriĭ Evgen’evich 1 Puzarenko, Vadim G. all top 5 Serials 4 Algebra and Logic 4 Algebra i Logika 3 Journal of Logic and Computation 3 Siberian Advances in Mathematics 2 Siberian Mathematical Journal 2 MSCS. Mathematical Structures in Computer Science 2 Vychislitel’nye Sistemy 2 Logical Methods in Computer Science 1 The Journal of Symbolic Logic 1 Notre Dame Journal of Formal Logic 1 Annals of Pure and Applied Logic 1 Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika 1 Sibirskie Èlektronnye Matematicheskie Izvestiya all top 5 Fields 45 Mathematical logic and foundations (03-XX) 11 Computer science (68-XX) 3 Combinatorics (05-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 1 General and overarching topics; collections (00-XX) 1 Field theory and polynomials (12-XX) 1 Group theory and generalizations (20-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 30 Publications have been cited 133 times in 72 Documents Cited by ▼ Year ▼ Spectra of high\(_n\) and non-low\(_n\) degrees. Zbl 1260.03068Frolov, Andrey; Kalimullin, Iskander; Harizanov, Valentina; Kudinov, Oleg; Miller, Russell 13 2012 An autostable 1-decidable model without a computable Scott family of \(\exists\)-formulas. Zbl 0972.03038Kudinov, O. V. 11 1996 Towards computability over effectively enumerable topological spaces. Zbl 1262.03073Korovina, Margarita; Kudinov, Oleg 9 2008 Undecidability in the homomorphic quasiorder of finite labelled forests. Zbl 1214.03010Kudinov, Oleg V.; Selivanov, Victor L. 9 2007 Definability in the homomorphic quasiorder of finite labeled forests. Zbl 1150.03312Kudinov, Oleg V.; Selivanov, Victor L. 9 2007 Undecidability in the homomorphic quasiorder of finite labeled forests. Zbl 1145.03307Kudinov, Oleg V.; Selivanov, Victor L. 8 2006 Decidability and computability of certain torsion-free abelian groups. Zbl 1211.03063Downey, Rodney G.; Goncharov, Sergei S.; Kach, Asher M.; Knight, Julia F.; Kudinov, Oleg V.; Melnikov, Alexander G.; Turetsky, Daniel 6 2010 A Gandy theorem for abstract structures and applications to first-order definability. Zbl 1268.03038Kudinov, Oleg V.; Selivanov, Victor L. 6 2009 Definability in the \(h\)-quasiorder of labeled forests. Zbl 1166.03012Kudinov, Oleg V.; Selivanov, Victor L.; Zhukov, Anton V. 6 2009 Index sets for classes of high rank structures. Zbl 1145.03021Calvert, W.; Fokina, E.; Goncharov, S. S.; Knight, J. F.; Kudinov, O.; Morozov, A. S.; Puzarenko, V. 6 2007 Towards computability of higher type continuous data. Zbl 1113.03329Korovina, Margarita; Kudinov, Oleg 5 2005 Undecidability in Weihrauch degrees. Zbl 1286.03143Kudinov, Oleg V.; Selivanov, Victor L.; Zhukov, Anton V. 4 2010 Definability in the subword order. Zbl 1286.03132Kudinov, Oleg V.; Selivanov, Victor L.; Yartseva, Lyudmila V. 4 2010 The uniformity principle for \(\Sigma \)-definability with applications to computable analysis. Zbl 1150.03314Korovina, Margarita; Kudinov, Oleg 4 2007 The computable dimension of \(I\)-trees of infinite height. Zbl 1096.03051Kogabaev, N. T.; Kudinov, O. V.; Miller, Russell 4 2004 On images of partial computable functions over computable Polish spaces. Zbl 1423.03155Korovina, Margarita Vladimirovna; Kudinov, Oleg Victorovich 3 2017 Positive predicate structures for continuous data. Zbl 1361.68069Korovina, Margarita; Kudinov, Oleg 3 2015 Index sets as a measure of continuous constraint complexity. Zbl 1434.03118Korovina, Margarita; Kudinov, Oleg 3 2015 Definability in the infix order on words. Zbl 1247.03049Kudinov, Oleg V.; Selivanov, Victor L. 3 2009 Semantic characterisations of second-order computability over the real numbers. Zbl 0999.03041Korovina, M. V.; Kudinov, O. V. 3 2001 Definability of closure operations in the \(h\)-quasiorder of labeled forests. Zbl 1214.03023Zhukov, A. V.; Kudinov, O. V.; Selivanov, V. L. 2 2010 The uniformity principle for \({\Sigma}\)-definability. Zbl 1157.03013Korovina, Margarita; Kudinov, Oleg 2 2009 Characteristic properties of majorant-computability over the reals. Zbl 0934.03056Korovina, M. V.; Kudinov, O. V. 2 1999 Algebraic dependences and reducibilities of constructivizations in universal domains. Zbl 0849.03024Kudinov, O. V. 2 1993 Computable elements and functions in effectively enumerable topological spaces. Zbl 06810754Korovina, Margarita; Kudinov, Oleg 1 2017 Spectrum of the field of computable real numbers. Zbl 1420.03113Korovina, M. V.; Kudinov, O. V. 1 2017 Effectively enumerable topological spaces. Zbl 1249.03109Korovina, M. V.; Kudinov, O. V. 1 2008 A description of autostable models. Zbl 0968.03040Kudinov, O. V. 1 1997 Criteria of autostability for 1-decidable models. Zbl 0795.03048Kudinov, O. V. 1 1992 Complete systems of finite approximations of sets in the class \(\Sigma^0_2\). Zbl 0925.03199Kudinov, O. V. 1 1991 On images of partial computable functions over computable Polish spaces. Zbl 1423.03155Korovina, Margarita Vladimirovna; Kudinov, Oleg Victorovich 3 2017 Computable elements and functions in effectively enumerable topological spaces. Zbl 06810754Korovina, Margarita; Kudinov, Oleg 1 2017 Spectrum of the field of computable real numbers. Zbl 1420.03113Korovina, M. V.; Kudinov, O. V. 1 2017 Positive predicate structures for continuous data. Zbl 1361.68069Korovina, Margarita; Kudinov, Oleg 3 2015 Index sets as a measure of continuous constraint complexity. Zbl 1434.03118Korovina, Margarita; Kudinov, Oleg 3 2015 Spectra of high\(_n\) and non-low\(_n\) degrees. Zbl 1260.03068Frolov, Andrey; Kalimullin, Iskander; Harizanov, Valentina; Kudinov, Oleg; Miller, Russell 13 2012 Decidability and computability of certain torsion-free abelian groups. Zbl 1211.03063Downey, Rodney G.; Goncharov, Sergei S.; Kach, Asher M.; Knight, Julia F.; Kudinov, Oleg V.; Melnikov, Alexander G.; Turetsky, Daniel 6 2010 Undecidability in Weihrauch degrees. Zbl 1286.03143Kudinov, Oleg V.; Selivanov, Victor L.; Zhukov, Anton V. 4 2010 Definability in the subword order. Zbl 1286.03132Kudinov, Oleg V.; Selivanov, Victor L.; Yartseva, Lyudmila V. 4 2010 Definability of closure operations in the \(h\)-quasiorder of labeled forests. Zbl 1214.03023Zhukov, A. V.; Kudinov, O. V.; Selivanov, V. L. 2 2010 A Gandy theorem for abstract structures and applications to first-order definability. Zbl 1268.03038Kudinov, Oleg V.; Selivanov, Victor L. 6 2009 Definability in the \(h\)-quasiorder of labeled forests. Zbl 1166.03012Kudinov, Oleg V.; Selivanov, Victor L.; Zhukov, Anton V. 6 2009 Definability in the infix order on words. Zbl 1247.03049Kudinov, Oleg V.; Selivanov, Victor L. 3 2009 The uniformity principle for \({\Sigma}\)-definability. Zbl 1157.03013Korovina, Margarita; Kudinov, Oleg 2 2009 Towards computability over effectively enumerable topological spaces. Zbl 1262.03073Korovina, Margarita; Kudinov, Oleg 9 2008 Effectively enumerable topological spaces. Zbl 1249.03109Korovina, M. V.; Kudinov, O. V. 1 2008 Undecidability in the homomorphic quasiorder of finite labelled forests. Zbl 1214.03010Kudinov, Oleg V.; Selivanov, Victor L. 9 2007 Definability in the homomorphic quasiorder of finite labeled forests. Zbl 1150.03312Kudinov, Oleg V.; Selivanov, Victor L. 9 2007 Index sets for classes of high rank structures. Zbl 1145.03021Calvert, W.; Fokina, E.; Goncharov, S. S.; Knight, J. F.; Kudinov, O.; Morozov, A. S.; Puzarenko, V. 6 2007 The uniformity principle for \(\Sigma \)-definability with applications to computable analysis. Zbl 1150.03314Korovina, Margarita; Kudinov, Oleg 4 2007 Undecidability in the homomorphic quasiorder of finite labeled forests. Zbl 1145.03307Kudinov, Oleg V.; Selivanov, Victor L. 8 2006 Towards computability of higher type continuous data. Zbl 1113.03329Korovina, Margarita; Kudinov, Oleg 5 2005 The computable dimension of \(I\)-trees of infinite height. Zbl 1096.03051Kogabaev, N. T.; Kudinov, O. V.; Miller, Russell 4 2004 Semantic characterisations of second-order computability over the real numbers. Zbl 0999.03041Korovina, M. V.; Kudinov, O. V. 3 2001 Characteristic properties of majorant-computability over the reals. Zbl 0934.03056Korovina, M. V.; Kudinov, O. V. 2 1999 A description of autostable models. Zbl 0968.03040Kudinov, O. V. 1 1997 An autostable 1-decidable model without a computable Scott family of \(\exists\)-formulas. Zbl 0972.03038Kudinov, O. V. 11 1996 Algebraic dependences and reducibilities of constructivizations in universal domains. Zbl 0849.03024Kudinov, O. V. 2 1993 Criteria of autostability for 1-decidable models. Zbl 0795.03048Kudinov, O. V. 1 1992 Complete systems of finite approximations of sets in the class \(\Sigma^0_2\). Zbl 0925.03199Kudinov, O. V. 1 1991 all cited Publications top 5 cited Publications all top 5 Cited by 61 Authors 16 Kudinov, Oleg Victorovich 15 Selivanov, Viktor L’vovich 11 Korovina, Margarita Vladimirovna 6 Miller, Russell G. 5 Melnikov, Alexander G. 4 Bazhenov, Nikolaĭ Alekseevich 4 Morozov, Andreĭ Sergeevich 3 Alaev, Pavel Evgenievich 3 Fokina, Ekaterina B. 3 Harizanov, Valentina S. 3 Harrison-Trainor, Matthew 3 Kalimullin, Iskander Shagitovich 3 Turetsky, Daniel D. 2 Brattka, Vasco 2 Downey, Rodney Graham 2 Frolov, Andrey N. 2 Greenberg, Noam 2 Hirschfeldt, Denis Roman 2 Kach, Asher M. 2 Khoussainov, Bakhadyr M. 2 Kogabaev, N. T. 2 Lehtonen, Erkko 2 Montalbán, Antonio 2 Pauly, Arno M. 2 Shlapentokh, Alexandra 2 Shore, Richard A. 2 Solomon, Reed 2 Thinniyam, Ramanathan S. 2 Zhukov, Anton V. 1 Calvert, Wesley 1 Cenzer, Douglas 1 Cholak, Peter A. 1 De Brecht, Matthew 1 Friedman, Sy-David 1 Gherardi, Guido 1 Goncharov, Sergeĭ Savost’yanovich 1 Gregoriades, Vassilios 1 Hertling, Peter H. 1 Karandikar, Prateek 1 Khisamiev, A. N. 1 Khisamiev, Nazif Garrifullinovich 1 Kispéter, Tamás 1 Kramer, Kenneth B. 1 Kwuida, Léonard 1 Lange, Karen 1 Latkin, Ivan V. 1 Lempp, Steffen 1 Marcone, Alberto 1 Marker, David E. 1 McCoy, Charles F. D. 1 Melkinov, Alexander 1 Motto Ros, Luca 1 Ng, KengMeng 1 Ocasio-González, Víctor A. 1 Ramanujam, Rohit Sunkam 1 Riggs, Kyle 1 Schlicht, Philipp 1 Schnoebelen, Philippe 1 Slaman, Theodore A. 1 Yartseva, Lyudmila V. 1 Zubkov, Maxim V. all top 5 Cited in 18 Serials 11 Algebra and Logic 9 Annals of Pure and Applied Logic 4 The Journal of Symbolic Logic 4 Siberian Mathematical Journal 4 MSCS. Mathematical Structures in Computer Science 3 Transactions of the American Mathematical Society 3 Mathematical Logic Quarterly (MLQ) 2 Proceedings of the American Mathematical Society 2 Archive for Mathematical Logic 2 Journal of Mathematical Logic 2 Logical Methods in Computer Science 1 Journal of Algebra 1 Theoretical Computer Science 1 European Journal of Combinatorics 1 Order 1 The Bulletin of Symbolic Logic 1 The Journal of Logic and Algebraic Programming 1 Sibirskie Èlektronnye Matematicheskie Izvestiya all top 5 Cited in 11 Fields 67 Mathematical logic and foundations (03-XX) 11 Computer science (68-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 3 Field theory and polynomials (12-XX) 3 Group theory and generalizations (20-XX) 2 Combinatorics (05-XX) 2 Geometry (51-XX) 1 Category theory; homological algebra (18-XX) 1 Real functions (26-XX) 1 Operator theory (47-XX) 1 General topology (54-XX) Citations by Year