Гончаров С. С., Харизанов В. С., Найт Ю. Ф., Морозов А. С., Ромина А. В.
Об автоморфных кортежах элементов в вычислимых моделях

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

Goncharov S. S., Harizanov V. S., Knight J. F., et al.
On automorphic tuples of elements in computable models

A criterion is obtained for existence of two isomorphic but not hyperarithmetically isomorphic tuples in a hyperarithmetical model. This criterion is used to show that such a situation occurs in the models of well-known classes.

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

• PDF file (480 KB)
• PostScript file (938 KB)