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