Abstract:
We prove that the semigroup of all functions from the set of natural numbers to natural numbers by composition has no one-valued $\Sigma$-presentations with parameters over the hereditarily finite superstructure over the real numbers.
Keywords:definability, computability, sigma-definability, sigma-presentability, semigroup of mappings.