Pages that link to "Item:Q1346921"
From MaRDI portal
The following pages link to Effectively infinite classes of weak constructivizations of models (Q1346921):
Displaying 6 items.
- Computable isomorphisms, degree spectra of relations, and Scott families (Q1295389) (← 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 finite constructivizability type (Q1335930) (← links)
- Computable classes of constructivizations for models of infinite algorithmic dimension (Q1346928) (← links)
- On effective choice of constructivizations (Q1914754) (← links)