03B70 Logic in computer science [See also <a href="#code:68-XX">68-XX</a>]

03B99 None of the above, but in this section

03C05 Equational classes, universal algebra [See also <a href="#code:08Axx">08Axx</a>, <a href="#code:08Bxx">08Bxx</a>, <a href="#code:18C05">18C05</a>]

03C07 Basic properties of first-order languages and structures

03C10 Quantifier elimination, model completeness and related topics

03C13 Finite structures [See also <a href="#code:68Q15">68Q15</a>, <a href="#code:68Q19">68Q19</a>]

03C20 Ultraproducts and related constructions

03C35 Categoricity and completeness of theories

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.)

03C57 Effective and recursion-theoretic model theory [See also <a href="#code:03D45">03D45</a>]

03C60 Model-theoretic algebra [See also <a href="#code:08C10">08C10</a>, <a href="#code:12Lxx">12Lxx</a>, <a href="#code:13L05">13L05</a>]

03C62 Models of arithmetic and set theory [See also <a href="#code:03Hxx">03Hxx</a>]

03C64 Model theory of ordered structures; o-minimality

03C65 Models of other mathematical theories

03C68 Other classical first-order model theory

03C80 Logic with extra quantifiers and operators [See also <a href="#code:03B42">03B42</a>, <a href="#code:03B44">03B44</a>, <a href="#code:03B45">03B45</a>, <a href="#code:03B48">03B48</a>]

03C85 Second- and higher-order model theory

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

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

03C99 None of the above, but in this section

03Dxx Computability and recursion theory

03D05 Automata and formal grammars in connection with logical questions [See also <a href="#code:68Q45">68Q45</a>, <a href="#code:68Q70">68Q70</a>, <a href="#code:68R15">68R15</a>]

03D10 Turing machines and related notions [See also <a href="#code:68Q05">68Q05</a>]

03D15 Complexity of computation (including implicit computational complexity) [See also <a href="#code:68Q15">68Q15</a>, <a href="#code:68Q17">68Q17</a>]