|
| |||
|
|
Пара ссылок - Оказывается, теорема Морли о категоричности доказывается и без выбора. Вообще, вроде как принято верить что без него в теории моделей совсем никуда не уедешь. - По поводу давнишнего разговора с dmitri83@lj статьи Пиллая Model theory and Kaehler geometry, Forking in the free group. |
||||||||||||||