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 <sub>exp</sub>) x HW(R <sub>exp</sub>).