×

zbMATH — the first resource for mathematics

Ventsov, Yu. G.

Author ID: ventsov.yu-g Recent zbMATH articles by "Ventsov, Yu. G."
Published as: Ventsov, Yu. G.; Ventsov, Y.
Documents Indexed: 13 Publications since 1986

Co-Authors

13 single-authored

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 17 times in 13 Documents Cited by Year
Effective choice for relations and reducibilities in classes of constructive and positive models. Zbl 0814.03030
Ventsov, Yu. G.
5
1992
Algorithmic properties of branching models. Zbl 0626.03027
Ventsov, Yu. G.
4
1986
Nonuniform autostability of models. Zbl 0667.03025
Ventsov, Yu. G.
3
1987
A family of recursively enumerable sets with finite classes of non- equivalent one-valued computable numerations. Zbl 0673.03030
Ventsov, Yu. G.
2
1987
Computable classes of constructivizations for models of infinite algorithmic dimension. Zbl 0832.03021
Ventsov, Yu. G.
1
1994
On the algorithmic dimension of models. Zbl 0699.03018
Ventsov, Yu. G.
1
1989
Non-uniform autostability of models. Zbl 0659.03011
Ventsov, Yu. G.
1
1987
Computable classes of constructivizations for models of infinite algorithmic dimension. Zbl 0832.03021
Ventsov, Yu. G.
1
1994
Effective choice for relations and reducibilities in classes of constructive and positive models. Zbl 0814.03030
Ventsov, Yu. G.
5
1992
On the algorithmic dimension of models. Zbl 0699.03018
Ventsov, Yu. G.
1
1989
Nonuniform autostability of models. Zbl 0667.03025
Ventsov, Yu. G.
3
1987
A family of recursively enumerable sets with finite classes of non- equivalent one-valued computable numerations. Zbl 0673.03030
Ventsov, Yu. G.
2
1987
Non-uniform autostability of models. Zbl 0659.03011
Ventsov, Yu. G.
1
1987
Algorithmic properties of branching models. Zbl 0626.03027
Ventsov, Yu. G.
4
1986

Citations by Year