Pages that link to "Item:Q1914754"
From MaRDI portal
The following pages link to On effective choice of constructivizations (Q1914754):
Displaying 6 items.
- Groups of recursive automorphisms of constructive Boolean algebras (Q800354) (← links)
- On a complexity-based way of constructivizing the recursive functions (Q922528) (← 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)
- Effective choice of constructivizations and recursive consistency of problems on constructive models (Q2366356) (← links)
- Effective Structures (Q4336702) (← links)