The following pages link to A new spectrum of recursive models (Q701304):
Displaying 8 items.
- Spectra of recursive models of disintegrated strongly minimal theories (Q2263105) (← links)
- An uncountably categorical theory whose only computably presentable model is saturated (Q2505131) (← links)
- A new spectrum of recursive models using an amalgamation construction (Q3173531) (← links)
- Classifying model-theoretic properties (Q3617367) (← links)
- IS A SPECTRUM OF A NON-DISINTEGRATED FLAT STRONGLY MINIMAL MODEL COMPLETE THEORY IN A LANGUAGE WITH FINITE SIGNATURE (Q5021931) (← links)
- Recursive spectra of flat strongly minimal theories (Q5164063) (← 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)
