That doesn’t work, because v_i is defined as a mapping from P to the reals; if you change P, then you also change v_i, and so you can’t define them out of order.
I suspect you’re confusing p, the individual policies that an agent could adopt, and P, the complete collection of policies that the agent could adopt.
Another way to express the theorem is that there is a many-to-one mapping from choices of c_i to Pareto optimal policies that maximize that choice of c_i.
[Edit] It’s not strictly many-to-one, since you can choose c_is that make you indifferent between multiple Pareto optimal basic policies, but you recapture the many-to-one behavior if you massage your definition of “policy,” and it’s many-to-one for most choices of c_i.
That doesn’t work, because v_i is defined as a mapping from P to the reals; if you change P, then you also change v_i, and so you can’t define them out of order.
I suspect you’re confusing p, the individual policies that an agent could adopt, and P, the complete collection of policies that the agent could adopt.
Another way to express the theorem is that there is a many-to-one mapping from choices of c_i to Pareto optimal policies that maximize that choice of c_i.
[Edit] It’s not strictly many-to-one, since you can choose c_is that make you indifferent between multiple Pareto optimal basic policies, but you recapture the many-to-one behavior if you massage your definition of “policy,” and it’s many-to-one for most choices of c_i.