The following pages link to (Q4381409):
Displaying 13 items.
- On existence of limit models over sequences of types (Q278558) (← links)
- Ultrafilters and types on models of arithmetic (Q1058509) (← links)
- \(\Sigma\)-predicates of finite types over an admissible set (Q1820777) (← links)
- There is no recursive link between the \(k\)-size of a model and its cardinality (Q1861532) (← links)
- Large finite structures with few \(L^k\)-types (Q2506492) (← links)
- On uniform definability of types over finite sets (Q2892672) (← links)
- Krull dimension of types in a class of first-order theories (Q3008277) (← links)
- (Q4202936) (← links)
- Modular types in some supersimple theories (Q4451735) (← links)
- Coherent and Strongly Discrete Rings in Type Theory (Q4916066) (← links)
- (Q4945199) (← links)
- Theories with few non-algebraic types over models, and their decompositions (Q5086946) (← links)
- On the ubiquity of certain total type structures (Q5430138) (← links)
