I suppose what it comes down to is that I don’t believe a conditionally convergent expected utility is possible, and thus does not count as a possible lottery.
I’d say that even this idea is too strong, and I’m only willing to go with it because if I break expected utility, I have no idea what to do.
Also, doesn’t the set of “possible lotteries” have to be the space of lotteries about which VNM can be proved? Probably there are multiple such spaces, but I’m not sure what conditions they have to satisfy. Also, since utilities don’t come until after we’ve chosen a space of lotteries, we can’t define the space of lotteries to be “those for which expected utility converges”, so I’m not quite sure what you are looking for.
Using priors that allow for unconditionally convergent expected utility.
Also, doesn’t the set of “possible lotteries” have to be the space of lotteries about which VNM can be proved?
I don’t understand what you mean. The set I’m using is the largest possible set for which all of those axioms are true. If I use one with utility that increases/decreases without limit, axiom 3 (along with 3′) is false. If I use one with utility that doesn’t converge unconditionally, axiom 2 is false.
I suppose what it comes down to is that I don’t believe a conditionally convergent expected utility is possible, and thus does not count as a possible lottery.
I’d say that even this idea is too strong, and I’m only willing to go with it because if I break expected utility, I have no idea what to do.
Can you clarify what you mean by “this idea”?
Also, doesn’t the set of “possible lotteries” have to be the space of lotteries about which VNM can be proved? Probably there are multiple such spaces, but I’m not sure what conditions they have to satisfy. Also, since utilities don’t come until after we’ve chosen a space of lotteries, we can’t define the space of lotteries to be “those for which expected utility converges”, so I’m not quite sure what you are looking for.
Using priors that allow for unconditionally convergent expected utility.
I don’t understand what you mean. The set I’m using is the largest possible set for which all of those axioms are true. If I use one with utility that increases/decreases without limit, axiom 3 (along with 3′) is false. If I use one with utility that doesn’t converge unconditionally, axiom 2 is false.