A representative individual from Arrovian aggregation of parametric individual utilities

The existence proof for the representative utility function utilizes a special nonstandard model of the reals, viz. the ultrapower of the reals with respect to the ultrafilter of decisive coalitions; this construction explicitly determines the parameter vector of the representative utility function.