03Cxx


Prev: 03B 
Up: 03 
Next: 03D 

Model theory

03C05 Equational classes, universal algebra [See also 08Axx, 08Bxx, 18C05]
03C07 Basic properties of firstorder languages and structures
03C10 Quantifier elimination, model completeness and related topics
03C13 Finite structures [See also 68Q15, 68Q19]
03C15 Denumerable structures
03C20 Ultraproducts and related constructions
03C25 Modeltheoretic forcing
03C30 Other model constructions
03C35 Categoricity and completeness of theories
03C40 Interpolation, preservation, definability
03C45 Classification theory, stability and related concepts
03C50 Models with special properties (saturated, rigid, etc.)
03C52 Properties of classes of models
03C55 Settheoretic model theory
03C57 Effective and recursiontheoretic model theory [See also 03D45]
03C60 Modeltheoretic algebra [See also 08C10, 12Lxx, 13L05]
03C62 Models of arithmetic and set theory [See also 03Hxx]
03C64 Model theory of ordered structures; ominimality
03C65 Models of other mathematical theories
03C68 Other classical firstorder 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 higherorder model theory
03C90 Nonclassical models (Booleanvalued, sheaf, etc.)
03C95 Abstract model theory
03C98 Applications of model theory [See also 03C60]
03C99 None of the above, but in this section