| 03C05 |
- |
Equational classes, universal algebra |
- |
15 |
items |
| 03C07 |
- |
Basic properties of first-order languages and structures |
- |
41 |
items |
| 03C10 |
- |
Quantifier elimination, model completeness and related topics |
- |
3 |
items |
| 03C15 |
- |
Denumerable structures |
- |
1 |
item |
| 03C30 |
- |
Other model constructions |
- |
1 |
item |
| 03C35 |
- |
Categoricity and completeness of theories |
- |
5 |
items |
| 03C45 |
- |
Classification theory, stability and related concepts |
- |
3 |
items |
| 03C50 |
- |
Models with special properties (saturated, rigid, etc.) |
- |
3 |
items |
| 03C52 |
- |
Properties of classes of models |
- |
8 |
items |
| 03C55 |
- |
Set-theoretic model theory |
- |
2 |
items |
| 03C57 |
- |
Effective and recursion-theoretic model theory |
- |
1 |
item |
| 03C60 |
- |
Model-theoretic algebra |
- |
1 |
item |
| 03C64 |
- |
Model theory of ordered structures; o-minimality |
- |
3 |
items |
| 03C68 |
- |
Other classical first-order model theory |
- |
1 |
item |
| 03C80 |
- |
Logic with extra quantifiers and operators |
- |
1 |
item |
| 03C90 |
- |
Nonclassical models (Boolean-valued, sheaf, etc.) |
- |
1 |
item |
| 03C95 |
- |
Abstract model theory |
- |
2 |
items |
| 03C98 |
- |
Applications of model theory |
- |
2 |
items |
| 03C99 |
- |
Miscellaneous |
- |
9 |
items |
|
|
[
up
|
top
]
|
