The following pages link to (Q4700614):
Displaying 12 items.
- Turing machine computations in finitely axiomatizable theories (Q1059628) (← links)
- Similarities and proximity of complete theories (Q1174054) (← links)
- Finite axiomatizability and theories with trivial algebraic closure (Q1183711) (← links)
- A finitary realizable list of properties (Q1317621) (← links)
- Semantically universal classes of models (Q1803018) (← links)
- Expressive power of finitely axiomatizable theories. III: The main construction (Q1920094) (← links)
- A.D. Taimanov and model theory in Kazakhstan (Q2306026) (← links)
- First-order combinatorics and model-theoretical properties that can be distinct for mutually interpretable theories (Q2959176) (← links)
- (Q3379824) (← links)
- (Q4273424) (← links)
- (Q4347425) (← links)
- Finitely inseparable first-order axiomatized mereotopological theories (Q4982517) (← links)