Pages that link to "Item:Q5422317"
From MaRDI portal
The following pages link to Applications of Kolmogorov complexity to computable model theory (Q5422317):
Displaying 7 items.
- Problems, models and complexity. II: Application to the DLSP (Q1405821) (← links)
- Applicative theories for logarithmic complexity classes (Q2346995) (← links)
- Complexity of categorical theories with computable models (Q2883037) (← links)
- (Q4526735) (← links)
- IS A SPECTRUM OF A NON-DISINTEGRATED FLAT STRONGLY MINIMAL MODEL COMPLETE THEORY IN A LANGUAGE WITH FINITE SIGNATURE (Q5021931) (← links)
- On the computability-theoretic complexity of trivial, strongly minimal models (Q5308141) (← links)
- On Decidable and Computable Models of Theories (Q5326370) (← links)