The following pages link to (Q4165359):
Displaying 4 items.
- Automatic models of first order theories (Q387121) (← links)
- Spectra of recursive models of disintegrated strongly minimal theories (Q2263105) (← 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)