|
СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ
АННОТАЦИИ
Стукачев А. И. $\Sigma $-определимость несчетных моделей $c$-простых теорий //
Том 51 (2010), Номер 3,
стр. 649661
Показано, что всякая $c$-простая теория с дополнительным условием дискретности имеет несчетную модель, $\Sigma$-определимую в ${\Bbb {HF}}({\Bbb L})$, ${\Bbb L}$ --- плотный линейный порядок. В качестве следствия этот факт установлен для всех $c$-простых теорий конечной сигнатуры, являющихся подмодельно полными.
|
|
© Сибирский Математический Журнал, 2003-2006
|
|