Mathematical Sciences Classification System

03Cxx - Model theory

  • 1
    03C05
    Equational classes, universal algebra [See also 08Axx, 08Bxx, 18C05]
  • 03C07
    Basic properties of first-order languages and structures
  • 03C10
    Quantifier elimination, model completeness and related topics
  • 2
    03C13
    Finite structures [See also 68Q15, 68Q19]
  • 03C15
    Denumerable structures
  • 4
    03C20
    Ultraproducts and related constructions
  • 03C25
    Model-theoretic forcing
  • 03C30
    Other model constructions
  • 03C35
    Categoricity and completeness of theories
  • 2
    03C40
    Interpolation, preservation, definability
  • 3
    03C45
    Classification theory, stability and related concepts [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
    Effective and recursion-theoretic model theory [See also 03D45]
  • 13
    03C60
    Model-theoretic algebra [See also 08C10, 12Lxx, 13L05]
  • 5
    03C62
    Models of arithmetic and set theory [See also 03Hxx]
  • 4
    03C64
    Model theory of ordered structures; o-minimality
  • 1
    03C65
    Models of other mathematical theories
  • 03C68
    Other classical first-order model theory
  • 03C70
    Logic on admissible sets
  • 1
    03C75
    Other infinitary logic
  • 03C80
    Logic with extra quantifiers and operators [See also 03B42, 03B44, 03B45, 03B48]
  • 03C85
    Second- and higher-order model theory
  • 2
    03C90
    Nonclassical models (Boolean-valued, sheaf, etc.)
  • 03C95
    Abstract model theory
  • 3
    03C98
    Applications of model theory [See also 03C60]
  • 03C99
    None of the above, but in this section

Rewrite code from the image

Reload image

Reload image