![](../../images/horis.gif) |
Том
55 (2014), Номер 1, с. 156-164 |
Морозов А. С.
Непредставимость полугруппы ωω над HF(R)
Доказывается невозможность однозначной Σ-представимости с параметрами для полугруппы всех функций из множества натуральных чисел в себя относительно композиции в наследственно конечной надстройке над вещественными числами.
|
Morozov A. S.
Nonpresentability of the semigroup ωω over HF(R)
We prove that the semigroup of all functions from the set of natural numbers to natural numbers by composition has no one-valued Σ-presentations with parameters over the hereditarily finite superstructure over the real numbers.
|
Полный текст статьи / Full texts:
|
Адрес
редакции:
пр. Коптюга,
4,
Новосибирск 630090
Телефон: (383-2) 333-493
E-mail: smz@math.nsc.ru
|