Об униформизации в надстройках над некоторыми расширениями $\mathbb R$

Теорема об униформизации для $\Sigma$-предикатов в наследственно конечной списочной надстройке над полем действительных чисел с экспонентой, доказанная ранее автором [Алгебра и логика, 53, № 1 (2014), 3–14], обобщается на случай произвольного $\Sigma$-предиката $P\subseteq\mathbb{HW(R}_{exp})\times\mathbb{HW(R}_{exp})$.