Yu. G. Ventsov

Available identifiers

zbMath Open ventsov.yu-gMaRDI QIDQ580328

List of research outcomes

Publication	Date of Publication	Type
On effective choice of constructivizations	1996-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4851332	1995-11-02	Paper
Constructive models of regularly infinite algorithmic dimension	1995-05-17	Paper
Computable classes of constructivizations for models of infinite algorithmic dimension	1995-04-20	Paper
Effective choice for relations and reducibilities in classes of constructive and positive models	1994-04-12	Paper
Effective choice operations on constructive and positive models	1994-04-12	Paper
Effective choice of constructivizations and recursive consistency of problems on constructive models	1993-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q3476796	1989-01-01	Paper
Nonuniform autostability of models	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3826537	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3808075	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3491531	1987-01-01	Paper
Algorithmic properties of branching models	1986-01-01	Paper

Research outcomes over time

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