Pages that link to "Item:Q1098836"
From MaRDI portal
The following pages link to Categoricity and generalized model completeness (Q1098836):
Displaying 9 items.
- Complexity of categorical theories with computable models (Q859246) (← links)
- Constructing \(\omega\)-stable structures: Model completeness. (Q1428040) (← links)
- The degree of decidable categoricity of a model with infinite solutions for complete formulas (Q2055308) (← links)
- Model Complete Generic Structures (Q2989967) (← links)
- Model completeness and direct power (Q3824399) (← links)
- A kind of categoricity (Q3843609) (← links)
- CATEGORICAL HARMONY AND PATH INDUCTION (Q5274880) (← links)
- Behavioural satisfaction and equivalence in concrete model categories (Q5878913) (← links)
- Feasibly categorical models (Q6064288) (← links)