Pages that link to "Item:Q1812730"
From MaRDI portal
The following pages link to Computable classes of constructive models with non-limit-equivalent indexations (Q1812730):
Displaying 4 items.
- The number of computable indexations of finite classes of constructive models (Q580331) (← links)
- Effectively infinite classes of weak constructivizations of models (Q1346921) (← links)
- Computable classes of constructivizations for models of infinite algorithmic dimension (Q1346928) (← links)
- A.D. Taimanov and model theory in Kazakhstan (Q2306026) (← links)