| |||
|
|
Не секрет, конечно. Теория моделей - что-то между математической логикой и алгеброй. Более конкретно: 1) stability and simplicity theory in general 2) interplay of finite and infinite - Fraisse-Hrushovski constructions, pseudofinite structures, stability for finite-variable logic, asymptotics of definable sets and applications of all those in finite model theory 3)models of ZFC. Добавить комментарий: |
||||