The following pages link to A new spectrum of recursive models (Q701304):
Displayed 4 items.
- An uncountably categorical theory whose only computably presentable model is saturated (Q2505131) (← links)
- Classifying model-theoretic properties (Q3617367) (← links)
- On the computability-theoretic complexity of trivial, strongly minimal models (Q5308141) (← links)
- 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06 (Q5421032) (← links)