Can you explain in more detail what you mean by “possible worlds”? I assume that the agent’s counterfactual actions don’t lead to new possible worlds in your model, e.g. “what would happen if I didn’t pay up” isn’t a possible world. So you’re kinda assuming that all coinflips happen before all actions. But what if Omega decides to flip a coin based on the agent’s action, or something like that?
ETA: would a single player extensive-form game (with incomplete information and imprefect information/recall) be a good model of SUDT?
Can you explain in more detail what you mean by “possible worlds”? I assume that the agent’s counterfactual actions don’t lead to new possible worlds in your model, e.g. “what would happen if I didn’t pay up” isn’t a possible world. So you’re kinda assuming that all coinflips happen before all actions. But what if Omega decides to flip a coin based on the agent’s action, or something like that?
ETA: would a single player extensive-form game (with incomplete information and imprefect information/recall) be a good model of SUDT?
After chatting with Benja about my comment and thinking some more, I wrote a reply to this post.