Mathematical Sciences Classification System
03Cxx - Model theory
-
03C05
-
03C07Basic properties of first-order languages and structures
-
03C10Quantifier elimination, model completeness and related topics
-
03C13
-
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 [See also 03C48]
-
03C48Abstract elementary classes and related topics [See also 03C45]
-
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]
-
03C60
-
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
-
03C80
-
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