Pages that link to "Item:Q1317639"
From MaRDI portal
The following pages link to Effective choice operations on constructive and positive models (Q1317639):
Displaying 4 items.
- Effective choice for relations and reducibilities in classes of constructive and positive models (Q1317601) (← links)
- On effective choice of constructivizations (Q1914754) (← links)
- Effective choice of constructivizations and recursive consistency of problems on constructive models (Q2366356) (← links)
- (Q4808758) (← links)