Pages that link to "Item:Q2366356"
From MaRDI portal
The following pages link to Effective choice of constructivizations and recursive consistency of problems on constructive models (Q2366356):
Displaying 7 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)
- On effective choice of constructivizations (Q1914754) (← links)
- (Q4993791) (← links)
- Effective model theory vs. recursive model theory (Q5753942) (← links)