Стукачев А. И.
Σ-определимость несчетных моделей с-простых теорий

Показано, что всякая c-простая теория с дополнительным условием дискретности имеет несчетную модель, Σ-определимую в HF(L), L — плотный линейный порядок. В качестве следствия этот факт установлен для всех c-простых теорий конечной сигнатуры, являющихся подмодельно полными.

Stukachev A. I.
Σ-definability of uncountable models of c-simple theories

We show that each c-simple theory with an additional discreteness condition has an uncountable model Σ-definable in HF(L), where L is a dense linear order. From this we establish the same for all c-simple theories of finite signature that are submodel complete.

Полный текст статьи / Full texts:

• PDF file (515 KB)
• PostScript file (960 KB)