Search and Browse the MSC 2000

03-XX Mathematical logic and foundations → ZMATH

03Cxx Model theory → ZMATH

03C05 Equational classes, universal algebra [See also 08Axx, 08Bxx, 18C05] → ZMATH

03C07 Basic properties of first-order languages and structures → ZMATH

03C10 Quantifier elimination, model completeness and related topics → ZMATH

03C13 Finite structures [See also 68Q15, 68Q19] → ZMATH

03C15 Denumerable structures → ZMATH

03C20 Ultraproducts and related constructions → ZMATH

03C25 Model-theoretic forcing → ZMATH

03C30 Other model constructions → ZMATH

03C35 Categoricity and completeness of theories → ZMATH

03C40 Interpolation, preservation, definability → ZMATH

03C45 Classification theory, stability and related concepts → ZMATH

03C50 Models with special properties (saturated, rigid, etc.) → ZMATH

03C52 Properties of classes of models → ZMATH

03C55 Set-theoretic model theory → ZMATH

03C57 Effective and recursion-theoretic model theory [See also 03D45] → ZMATH

03C60 Model-theoretic algebra [See also 08C10, 12Lxx, 13L05] → ZMATH

03C62 Models of arithmetic and set theory [See also 03Hxx] → ZMATH

03C64 Model theory of ordered structures; o-minimality → ZMATH

03C65 Models of other mathematical theories → ZMATH

03C68 Other classical first-order model theory → ZMATH

03C70 Logic on admissible sets → ZMATH

03C75 Other infinitary logic → ZMATH

03C80 Logic with extra quantifiers and operators [See also 03B42, 03B44, 03B45, 03B48] → ZMATH

03C85 Second- and higher-order model theory → ZMATH

03C90 Nonclassical models (Boolean-valued, sheaf, etc.) → ZMATH

03C95 Abstract model theory → ZMATH

03C98 Applications of model theory [See also 03C60] → ZMATH

03C99 None of the above, but in this section → ZMATH