Pages that link to "Item:Q3475255"
From MaRDI portal
The following pages link to Non <i>Σ</i><sub><i>n</i></sub> axiomatizable almost strongly minimal theories (Q3475255):
Displayed 20 items.
- The index set of Boolean algebras autostable relative to strong constructivizations (Q498225) (← links)
- Model completeness for trivial, uncountably categorical theories of Morley rank \(1\) (Q862348) (← links)
- Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations (Q887638) (← links)
- Index sets for \(n\)-decidable structures categorical relative to \(m\)-decidable presentations (Q904324) (← links)
- Special issue: Selected papers of the workshop on model theory and computable model theory, Gainesville, FL, USA, February 5--10, 2007 (Q1005921) (← links)
- Index sets for some classes of structures (Q1006610) (← links)
- Constructing \(\omega\)-stable structures: Model completeness. (Q1428040) (← links)
- Degrees of categoricity and the hyperarithmetic hierarchy (Q1949167) (← links)
- Simple structures with complex symmetry (Q1957352) (← links)
- Semidecidable numberings in admissible sets (Q2213938) (← links)
- Degrees of categoricity of computable structures (Q2655143) (← links)
- Enumeration Reducibility and Computable Structure Theory (Q2970965) (← links)
- Strength and Weakness in Computable Structure Theory (Q2970966) (← links)
- Conservative Extensions of Abstract Structures (Q3091469) (← links)
- There is no classification of the decidably presentable structures (Q4562439) (← links)
- A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS (Q4638989) (← links)
- Theory spectra and classes of theories (Q5267981) (← links)
- On the computability-theoretic complexity of trivial, strongly minimal models (Q5308141) (← links)
- Spectra of theories and structures (Q5496464) (← links)
- Index Sets of Constructive Models that are Autostable Under Strong Constructivizations (Q5741335) (← links)