epub @ SUB HH

03Cxx Model theory ( 0 Dok. )

• 03C05 Equational classes, universal algebra ( 0 Dok. )
• 03C07 Basic properties of first-order languages and structures ( 0 Dok. )
• 03C10 Quantifier elimination, model completeness and related topics ( 0 Dok. )
• 03C13 Finite structures ( 0 Dok. )
• 03C15 Denumerable structures ( 0 Dok. )
• 03C20 Ultraproducts and related constructions ( 0 Dok. )
• 03C25 Model-theoretic forcing ( 0 Dok. )
• 03C30 Other model constructions ( 0 Dok. )
• 03C35 Categoricity and completeness of theories ( 0 Dok. )
• 03C40 Interpolation, preservation, definability ( 0 Dok. )
• 03C45 Classification theory, stability and related concepts ( 0 Dok. )
• 03C50 Models with special properties (saturated, rigid, etc.) ( 0 Dok. )
• 03C52 Properties of classes of models ( 0 Dok. )
• 03C55 Set-theoretic model theory ( 0 Dok. )
• 03C57 Effective and recursion-theoretic model theory ( 0 Dok. )
• 03C60 Model-theoretic algebra ( 0 Dok. )
• 03C62 Models of arithmetic and set theory ( 0 Dok. )
• 03C64 Model theory of ordered structures; o-minimality ( 0 Dok. )
• 03C65 Models of other mathematical theories ( 0 Dok. )
• 03C68 Other classical first-order model theory ( 0 Dok. )
• 03C70 Logic on admissible sets ( 0 Dok. )
• 03C75 Other infinitary logic ( 0 Dok. )
• 03C80 Logic with extra quantifiers and operators ( 0 Dok. )
• 03C85 Second- and higher-order model theory ( 0 Dok. )
• 03C90 Nonclassical models (Boolean-valued, sheaf, etc.) ( 0 Dok. )
• 03C95 Abstract model theory ( 0 Dok. )
• 03C98 Applications of model theory ( 0 Dok. )
• 03C99 None of the above, but in this section ( 0 Dok. )