Pages that link to "Item:Q4425430"
From MaRDI portal
The following pages link to Trivial, strongly minimal theories are model complete after naming constants (Q4425430):
Displayed 13 items.
- Model completeness for trivial, uncountably categorical theories of Morley rank \(1\) (Q862348) (← links)
- On two problems of Turing complexity for strongly minimal theories (Q954212) (← links)
- Special issue: Selected papers of the workshop on model theory and computable model theory, Gainesville, FL, USA, February 5--10, 2007 (Q1005921) (← links)
- The elementary diagram of a trivial, weakly minimal structure is near model complete (Q1005929) (← links)
- Constructing \(\omega\)-stable structures: Model completeness. (Q1428040) (← links)
- Model completeness and relative decidability (Q2042736) (← links)
- Spectra of recursive models of disintegrated strongly minimal theories (Q2263105) (← links)
- The degrees of categorical theories with recursive models (Q2839320) (← links)
- A computable ℵ<sub>0</sub>-categorical structure whose theory computes true arithmetic (Q3570169) (← 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)
- Recursive spectra of strongly minimal theories satisfying the Zilber Trichotomy (Q5400808) (← links)