03C Model theory
| Section | P | S | ||
|---|---|---|---|---|
| 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 | |||
| 03C13? | Finite structures | See also 68Q15, 68Q19 | ||
| 03C15? | Denumerable structures | |||
| 03C20? | Ultraproducts and related constructions | |||
| 03C25? | Model-theoretic 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? | Set-theoretic model theory | |||
| 03C57? | Effective and recursion-theoretic model theory | See also 03D45 | ||
| 03C60? | Model-theoretic algebra | See also 08C10, 12Lxx, 13L05 | ||
| 03C62 | Models of arithmetic and set theory | See also 03Hxx | 10 | |
| 03C64? | Model theory of ordered structures; o-minimality | |||
| 03C65? | Models of other mathematical theories | |||
| 03C68? | Other classical first-order 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 higher-order model theory | |||
| 03C90? | Nonclassical models (Boolean-valued, sheaf, etc.) | |||
| 03C95? | Abstract model theory | |||
| 03C98? | Applications of model theory | See also 03C60 | ||
| 03C99? | None of the above, but in this section | |||
| WebForm | |
|---|---|
| TopicClassification | MathSC2000 |
| ProjectGroup? | |
| ImplementationDate? | N/A |
Edit | Attach | Print version | History: r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r1 - 2006-11-02 - 20:44:02 - MarcoRiccardi
 |
|
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback