...
Интересные новости из Новосибирска.
Сергей Судоплатов кажется придумал, как строить стабильные теории с любым конечным числом счётных моделей (кроме ровно двух, чего как известно быть не может). С порядком они строятся очень просто ( порядки с нужным количесвтом плотных раскрашенных подмножеств, придумал Эренфойхт), а вот без порядка совсем не ясно как. Судя по
абстрактам докладов, метод а ля фьюжн Хрущовского для каких-то раскрашенных графов. Очень интересно, остаётся ждать комментарии (не читать же эти семь статей, в самом деле).
via
relf@lj