Морозов А. С.
Непредставимость полугруппы ω^ω над 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:

• PDF file
• PostScript file