Yu. G. Ventsov

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On effective choice of constructivizations Siberian Advances in Mathematics	1996-09-01	Paper
scientific article; zbMATH DE number 804044 (Why is no real title available?)	1995-11-02	Paper
Constructive models of regularly infinite algorithmic dimension Algebra and Logic	1995-05-17	Paper
Computable classes of constructivizations for models of infinite algorithmic dimension Algebra and Logic	1995-04-20	Paper
Effective choice for relations and reducibilities in classes of constructive and positive models Algebra and Logic	1994-04-12	Paper
Effective choice operations on constructive and positive models Algebra and Logic	1994-04-12	Paper
Effective choice of constructivizations and recursive consistency of problems on constructive models Algebra and Logic	1993-06-29	Paper
scientific article; zbMATH DE number 4145883 (Why is no real title available?)	1989-01-01	Paper
Nonuniform autostability of models Algebra and Logic	1987-01-01	Paper
scientific article; zbMATH DE number 4101161 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 4077177 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 4164818 (Why is no real title available?)	1987-01-01	Paper
Algorithmic properties of branching models Algebra and Logic	1986-01-01	Paper

Research outcomes over time

This page was built for person: Yu. G. Ventsov