The following pages link to A new spectrum of recursive models (Q701304):
Displaying 16 items.
- New spectra of strongly minimal theories in finite languages (Q638500) (← links)
- Model structure incorporated into recursive partial realization strategies (Q674148) (← links)
- Strongly minimal theories with recursive models (Q1644487) (← links)
- A new spectrum of computable models (Q1943912) (← links)
- Spectra of recursive models of disintegrated strongly minimal theories (Q2263105) (← links)
- An uncountably categorical theory whose only computably presentable model is saturated (Q2505131) (← links)
- On spectra of computable models (Q2885205) (← links)
- Simple Models for Recursive Schemes (Q2912708) (← links)
- A new spectrum of recursive models using an amalgamation construction (Q3173531) (← links)
- Spectra of computable models for Ehrenfeucht theories (Q3546079) (← 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)
- Spectra of Atomic Theories (Q5407048) (← links)
- 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06 (Q5421032) (← links)
