03Cxx

 03B | 03 | 03D

Model theory

03C05Equational classes, universal algebra
[See also 08Axx, 08Bxx, 18C05]
03C07Basic properties of first-order languages and structures
03C10Quantifier elimination, model completeness and related topics
03C13Finite structures
[See also 68Q15, 68Q19]
03C15Denumerable structures
03C20Ultraproducts and related constructions
03C25Model-theoretic forcing
03C30Other model constructions
03C35Categoricity and completeness of theories
03C40Interpolation, preservation, definability
03C45Classification theory, stability and related concepts
03C50Models with special properties (saturated, rigid, etc.)
03C52Properties of classes of models
03C55Set-theoretic model theory
03C57Effective and recursion-theoretic model theory
[See also 03D45]
03C60Model-theoretic algebra
[See also 08C10, 12Lxx, 13L05]
03C62Models of arithmetic and set theory
[See also 03Hxx]
03C64Model theory of ordered structures; o-minimality
03C65Models of other mathematical theories
03C68Other classical first-order model theory
03C70Logic on admissible sets
03C75Other infinitary logic
03C80Logic with extra quantifiers and operators
[See also 03B42, 03B44, 03B45, 03B48]
03C85Second- and higher-order model theory
03C90Nonclassical models (Boolean-valued, sheaf, etc.)
03C95Abstract model theory
03C98Applications of model theory
[See also 03C60]
03C99None of the above, but in this section