Uniformization in superstructures over some extensions of R
The uniformization theorem for S-predicates in a hereditarily finite superstructure over the real exponential field proved in [Algebra i Logika, 53, No. 1, 3-14 (2014)] is generalized to the case of an arbitrary S-predicate P С HW(R exp) x HW(R exp).