The research is decomposed into tasks. Each task has its Web page, which contains
- a description of the topic of research
- a list of specific problems
- progress made on the problems
| Task I : |
Pure model theory |
| Task II : |
Model theory of fields and applications |
| Task III : |
O-minimality and applications |
| Task IV : |
Henselian fields |
| Task V : |
Simple groups of finite Morley rank |
| Task VI : |
Model theory of groups and modules |
| Task VII : |
Decidability issues and links to complexity theory |
| Task VIII : |
Finite model theory and links to computer science |