The following pages link to Yu. G. Ventsov (Q580328):
Displaying 13 items.
- Algorithmic properties of branching models (Q580329) (← links)
- Nonuniform autostability of models (Q1117216) (← links)
- Effective choice for relations and reducibilities in classes of constructive and positive models (Q1317601) (← links)
- Effective choice operations on constructive and positive models (Q1317639) (← links)
- Computable classes of constructivizations for models of infinite algorithmic dimension (Q1346928) (← links)
- Constructive models of regularly infinite algorithmic dimension (Q1842380) (← links)
- On effective choice of constructivizations (Q1914754) (← links)
- Effective choice of constructivizations and recursive consistency of problems on constructive models (Q2366356) (← links)
- (Q3476796) (← links)
- (Q3491531) (← links)
- (Q3808075) (← links)
- (Q3826537) (← links)
- (Q4851332) (← links)
