Pages that link to "Item:Q1317601"
From MaRDI portal
The following pages link to Effective choice for relations and reducibilities in classes of constructive and positive models (Q1317601):
Displaying 11 items.
- Groups of recursive automorphisms of constructive Boolean algebras (Q800354) (← links)
- Effective choice operations on constructive and positive models (Q1317639) (← links)
- On effective choice of constructivizations (Q1914754) (← links)
- On decidable categoricity and almost prime models (Q2203434) (← links)
- Effective choice of constructivizations and recursive consistency of problems on constructive models (Q2366356) (← links)
- Revisiting Uniform Computable Categoricity: For the Sixtieth Birthday of Prof. Rod Downey (Q2970964) (← links)
- A robuster Scott rank (Q3450085) (← links)
- COMPUTABLE POLISH GROUP ACTIONS (Q4579801) (← links)
- Relativizing computable categoricity (Q5002563) (← links)
- Categoricity properties for computable algebraic fields (Q5246988) (← links)
- On the complexity of the theory of a computably presented metric structure (Q6077947) (← links)