Requiring ∑i|xi| to be finite is just part of assuming the xi form a probability distribution over worlds. I think you’re confused about the type difference between theAi and the utility of Ai. (Where in the context of this post, the utility is just represented by an element of a poset.)
I’m not advocating for or making arguments about any fanciness related to infinitesimals or different infinite values or anything like that.
Requiring ∑i|xi| to be finite is just part of assuming the xi form a probability distribution over worlds. I think you’re confused about the type difference between theAi and the utility of Ai. (Where in the context of this post, the utility is just represented by an element of a poset.)
I’m not advocating for or making arguments about any fanciness related to infinitesimals or different infinite values or anything like that.