Pages that link to "Item:Q859246"
From MaRDI portal
The following pages link to Complexity of categorical theories with computable models (Q859246):
Displaying 9 items.
- Categoricity and generalized model completeness (Q1098836) (← links)
- Computable models of theories with few models (Q1381432) (← links)
- The degrees of categorical theories with recursive models (Q2839320) (← links)
- Complexity of categorical theories with computable models (Q2883037) (← links)
- The Complexity of Classification Problems for Models of Arithmetic (Q3163661) (← links)
- Computably categorical structures and expansions by constants (Q4254616) (← links)
- (Q4526735) (← links)
- (Q4779146) (← links)
- Applications of Kolmogorov complexity to computable model theory (Q5422317) (← links)