×

zbMATH — the first resource for mathematics

Kudinov, Oleg Victorovich

Compute Distance To:
Author ID: kudinov.oleg-victorovich Recent zbMATH articles by "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

Publications by Year

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.03068
Frolov, 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.03038
Kudinov, O. V.
11
1996
Towards computability over effectively enumerable topological spaces. Zbl 1262.03073
Korovina, Margarita; Kudinov, Oleg
9
2008
Undecidability in the homomorphic quasiorder of finite labelled forests. Zbl 1214.03010
Kudinov, Oleg V.; Selivanov, Victor L.
9
2007
Definability in the homomorphic quasiorder of finite labeled forests. Zbl 1150.03312
Kudinov, Oleg V.; Selivanov, Victor L.
9
2007
Undecidability in the homomorphic quasiorder of finite labeled forests. Zbl 1145.03307
Kudinov, Oleg V.; Selivanov, Victor L.
8
2006
Decidability and computability of certain torsion-free abelian groups. Zbl 1211.03063
Downey, 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.03038
Kudinov, Oleg V.; Selivanov, Victor L.
6
2009
Definability in the \(h\)-quasiorder of labeled forests. Zbl 1166.03012
Kudinov, Oleg V.; Selivanov, Victor L.; Zhukov, Anton V.
6
2009
Index sets for classes of high rank structures. Zbl 1145.03021
Calvert, 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.03329
Korovina, Margarita; Kudinov, Oleg
5
2005
Undecidability in Weihrauch degrees. Zbl 1286.03143
Kudinov, Oleg V.; Selivanov, Victor L.; Zhukov, Anton V.
4
2010
Definability in the subword order. Zbl 1286.03132
Kudinov, Oleg V.; Selivanov, Victor L.; Yartseva, Lyudmila V.
4
2010
The uniformity principle for \(\Sigma \)-definability with applications to computable analysis. Zbl 1150.03314
Korovina, Margarita; Kudinov, Oleg
4
2007
The computable dimension of \(I\)-trees of infinite height. Zbl 1096.03051
Kogabaev, N. T.; Kudinov, O. V.; Miller, Russell
4
2004
On images of partial computable functions over computable Polish spaces. Zbl 1423.03155
Korovina, Margarita Vladimirovna; Kudinov, Oleg Victorovich
3
2017
Positive predicate structures for continuous data. Zbl 1361.68069
Korovina, Margarita; Kudinov, Oleg
3
2015
Index sets as a measure of continuous constraint complexity. Zbl 1434.03118
Korovina, Margarita; Kudinov, Oleg
3
2015
Definability in the infix order on words. Zbl 1247.03049
Kudinov, Oleg V.; Selivanov, Victor L.
3
2009
Semantic characterisations of second-order computability over the real numbers. Zbl 0999.03041
Korovina, M. V.; Kudinov, O. V.
3
2001
Definability of closure operations in the \(h\)-quasiorder of labeled forests. Zbl 1214.03023
Zhukov, A. V.; Kudinov, O. V.; Selivanov, V. L.
2
2010
The uniformity principle for \({\Sigma}\)-definability. Zbl 1157.03013
Korovina, Margarita; Kudinov, Oleg
2
2009
Characteristic properties of majorant-computability over the reals. Zbl 0934.03056
Korovina, M. V.; Kudinov, O. V.
2
1999
Algebraic dependences and reducibilities of constructivizations in universal domains. Zbl 0849.03024
Kudinov, O. V.
2
1993
Computable elements and functions in effectively enumerable topological spaces. Zbl 06810754
Korovina, Margarita; Kudinov, Oleg
1
2017
Spectrum of the field of computable real numbers. Zbl 1420.03113
Korovina, M. V.; Kudinov, O. V.
1
2017
Effectively enumerable topological spaces. Zbl 1249.03109
Korovina, M. V.; Kudinov, O. V.
1
2008
A description of autostable models. Zbl 0968.03040
Kudinov, O. V.
1
1997
Criteria of autostability for 1-decidable models. Zbl 0795.03048
Kudinov, O. V.
1
1992
Complete systems of finite approximations of sets in the class \(\Sigma^0_2\). Zbl 0925.03199
Kudinov, O. V.
1
1991
On images of partial computable functions over computable Polish spaces. Zbl 1423.03155
Korovina, Margarita Vladimirovna; Kudinov, Oleg Victorovich
3
2017
Computable elements and functions in effectively enumerable topological spaces. Zbl 06810754
Korovina, Margarita; Kudinov, Oleg
1
2017
Spectrum of the field of computable real numbers. Zbl 1420.03113
Korovina, M. V.; Kudinov, O. V.
1
2017
Positive predicate structures for continuous data. Zbl 1361.68069
Korovina, Margarita; Kudinov, Oleg
3
2015
Index sets as a measure of continuous constraint complexity. Zbl 1434.03118
Korovina, Margarita; Kudinov, Oleg
3
2015
Spectra of high\(_n\) and non-low\(_n\) degrees. Zbl 1260.03068
Frolov, Andrey; Kalimullin, Iskander; Harizanov, Valentina; Kudinov, Oleg; Miller, Russell
13
2012
Decidability and computability of certain torsion-free abelian groups. Zbl 1211.03063
Downey, 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.03143
Kudinov, Oleg V.; Selivanov, Victor L.; Zhukov, Anton V.
4
2010
Definability in the subword order. Zbl 1286.03132
Kudinov, Oleg V.; Selivanov, Victor L.; Yartseva, Lyudmila V.
4
2010
Definability of closure operations in the \(h\)-quasiorder of labeled forests. Zbl 1214.03023
Zhukov, A. V.; Kudinov, O. V.; Selivanov, V. L.
2
2010
A Gandy theorem for abstract structures and applications to first-order definability. Zbl 1268.03038
Kudinov, Oleg V.; Selivanov, Victor L.
6
2009
Definability in the \(h\)-quasiorder of labeled forests. Zbl 1166.03012
Kudinov, Oleg V.; Selivanov, Victor L.; Zhukov, Anton V.
6
2009
Definability in the infix order on words. Zbl 1247.03049
Kudinov, Oleg V.; Selivanov, Victor L.
3
2009
The uniformity principle for \({\Sigma}\)-definability. Zbl 1157.03013
Korovina, Margarita; Kudinov, Oleg
2
2009
Towards computability over effectively enumerable topological spaces. Zbl 1262.03073
Korovina, Margarita; Kudinov, Oleg
9
2008
Effectively enumerable topological spaces. Zbl 1249.03109
Korovina, M. V.; Kudinov, O. V.
1
2008
Undecidability in the homomorphic quasiorder of finite labelled forests. Zbl 1214.03010
Kudinov, Oleg V.; Selivanov, Victor L.
9
2007
Definability in the homomorphic quasiorder of finite labeled forests. Zbl 1150.03312
Kudinov, Oleg V.; Selivanov, Victor L.
9
2007
Index sets for classes of high rank structures. Zbl 1145.03021
Calvert, 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.03314
Korovina, Margarita; Kudinov, Oleg
4
2007
Undecidability in the homomorphic quasiorder of finite labeled forests. Zbl 1145.03307
Kudinov, Oleg V.; Selivanov, Victor L.
8
2006
Towards computability of higher type continuous data. Zbl 1113.03329
Korovina, Margarita; Kudinov, Oleg
5
2005
The computable dimension of \(I\)-trees of infinite height. Zbl 1096.03051
Kogabaev, N. T.; Kudinov, O. V.; Miller, Russell
4
2004
Semantic characterisations of second-order computability over the real numbers. Zbl 0999.03041
Korovina, M. V.; Kudinov, O. V.
3
2001
Characteristic properties of majorant-computability over the reals. Zbl 0934.03056
Korovina, M. V.; Kudinov, O. V.
2
1999
A description of autostable models. Zbl 0968.03040
Kudinov, O. V.
1
1997
An autostable 1-decidable model without a computable Scott family of \(\exists\)-formulas. Zbl 0972.03038
Kudinov, O. V.
11
1996
Algebraic dependences and reducibilities of constructivizations in universal domains. Zbl 0849.03024
Kudinov, O. V.
2
1993
Criteria of autostability for 1-decidable models. Zbl 0795.03048
Kudinov, O. V.
1
1992
Complete systems of finite approximations of sets in the class \(\Sigma^0_2\). Zbl 0925.03199
Kudinov, O. V.
1
1991

Citations by Year