А. С. Морозов, “Непредставимость полугруппы $\omega^\omega$ над $\mathbb{HF(R)}$”, Сиб. матем. журн., 2014, том 55, номер 1,страницы 156

Эта публикация цитируется в 4 статьях

Непредставимость полугруппы $\omega^\omega$ над $\mathbb{HF(R)}$

А. С. Морозов^ab

^a Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090
^b Новосибирский гос. университет, ул. Пирогова, 2, Новосибирск 630090

Аннотация: Доказывается невозможность однозначной $\Sigma$-представимости с параметрами для полугруппы всех функций из множества натуральных чисел в себя относительно композиции в наследственно конечной надстройке над вещественными числами.

Ключевые слова: определимость, вычислимость, сигма-определимость, сигма-представимость, допустимые множества, полугруппа отображений.

УДК: 510.5

Статья поступила: 23.04.2013