Pages that link to "Item:Q1335930"
From MaRDI portal
The following pages link to Computable classes of constructivizations for models of finite constructivizability type (Q1335930):
Displaying 5 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 constructive models with non-limit-equivalent indexations (Q1812730) (← links)
- (Q3362714) (← links)
- Structural properties for feasibly computable classes of type two (Q4009811) (← links)