Pages that link to "Item:Q1897964"

The following pages link to Conditions of effective infinity for the set of computable indexings of a class of constructive models (Q1897964):

Displaying 8 items.

• The number of computable indexations of finite classes of constructive models (Q580331) (← links)
• Computable classes of constructive models with non-limit-equivalent indexations (Q1812730) (← links)
• Computability of the set of computable indexing schemes of the class of constructible models (Q1898525) (← links)
• The Wiener measure on the Heisenberg group and parabolic equations (Q2199368) (← links)
• A.D. Taimanov and model theory in Kazakhstan (Q2306026) (← links)
• (Q3775536) (← links)
• On enumerable subclasses of a computable class of constructive models (Q3973232) (← links)
• Computable embeddings and strongly minimal theories (Q5422316) (← links)