03-XX |
|
|
Mathematical logic and foundations |
|
03Cxx |
|
Model theory |
|
|
03C05 |
Equational classes, universal algebra in model theory [See also 08Axx, 08Bxx, 18C05] |
|
|
03C07 |
Basic properties of first-order languages and structures |
|
|
03C10 |
Quantifier elimination, model completeness, and related topics |
|
|
03C13 |
Model theory of finite structures [See also 68Q15, 68Q19] |
|
|
03C15 |
Model theory of denumerable and separable structures |
|
|
03C20 |
Ultraproducts and related constructions |
|
|
03C25 |
Model-theoretic forcing |
|
|
03C30 |
Other model constructions |
|
|
03C35 |
Categoricity and completeness of theories |
|
|
03C40 |
Interpolation, preservation, definability |
|
|
03C45 |
Classification theory, stability, and related concepts in model theory [See also 03C48] |
|
|
03C48 |
Abstract elementary classes and related topics [See also 03C45] |
|
|
03C50 |
Models with special properties (saturated, rigid, etc.) |
|
|
03C52 |
Properties of classes of models |
|
|
03C55 |
Set-theoretic model theory |
|
|
03C57 |
Computable structure theory, computable model theory [See also 03D45] |
|
|
03C60 |
Model-theoretic algebra [See also 08C10, 12Lxx, 13L05] |
|
|
03C62 |
Models of arithmetic and set theory [See also 03Hxx] |
|
|
03C64 |
Model theory of ordered structures; o-minimality |
|
|
03C65 |
Models of other mathematical theories |
|
|
03C68 |
Other classical first-order model theory |
|
|
03C70 |
Logic on admissible sets |
|
|
03C75 |
Other infinitary logic |
|
|
03C80 |
Logic with extra quantifiers and operators [See also 03B42, 03B44, 03B45, 03B48] |
|
|
03C85 |
Second- and higher-order model theory |
|
|
03C90 |
Nonclassical models (Boolean-valued, sheaf, etc.) |
|
|
03C95 |
Abstract model theory |
|
|
03C98 |
Applications of model theory [See also 03C60] |
|
|
03C99 |
None of the above, but in this section |