Pages that link to "Item:Q1115864"
From MaRDI portal
The following pages link to Local classes and computable indexations (Q1115864):
Displaying 4 items.
- A generalization of Selivanov's theorem (Q1358035) (← links)
- Conditions of effective infinity for the set of computable indexings of a class of constructive models (Q1897964) (← links)
- Computability of the set of computable indexing schemes of the class of constructible models (Q1898525) (← links)
- (Q3775536) (← links)