The following pages link to (Q4526735):
Displaying 5 items.
- Existence of optimal ultrafilters and the fundamental complexity of simple theories (Q908076) (← links)
- Complexity ranks of countable models (Q998136) (← links)
- Complexity of Ehrenfeucht models (Q3546055) (← links)
- The model-theoretic ordinal analysis of theories of predicative strength (Q4254639) (← links)
- Applications of Kolmogorov complexity to computable model theory (Q5422317) (← links)