Бузыкаева А. Н.
Вычислимо жесткие модели с перечислимыми подмоделями

Рассматриваются рекурсивные представления множества рациональных чисел с выделенным всюду плотным подмножеством с всюду плотным дополнением и некоторые булевы алгебры с выделенной подалгеброй. Показано, что отказ от рекурсивности выделенной подмодели дает возможность построить модели без нетривиальных автоморфизмов. Доказательство проведено методом приоритета.

Buzykaeva A. N.
Computably rigid models with enumerable submodels

We consider recursive representations for the set of rational numbers with a distinguished dense and codense subset and for some Boolean algebras with a distinguished subalgebra. We show that the rejection of recursiveness of the distinguished submodel opens up the possibility of constructing models without nontrivial automorphisms. The proof is carried out by the priority method.

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

• PDF file (350 KB)
• PostScript file (674 KB)