It’s correct if we expand it to “Omega would have told me something else or not shown up to begin with”, or if we’re assuming that Omega will show up and say something. It would have to say something like “if you refuse the $10 then the envelope will be empty” — or some other true thing, not the statement given in the original post — since we’re assuming it’s a perfect predictor and is being honest.
It’s correct if we expand it to “Omega would have told me something else or not shown up to begin with”, or if we’re assuming that Omega will show up and say something. It would have to say something like “if you refuse the $10 then the envelope will be empty” — or some other true thing, not the statement given in the original post — since we’re assuming it’s a perfect predictor and is being honest.
Omega can say:
“I have predicted you will refuse the $10, and there is $1000,000 in the envelope”.
There is absolutely no problem with that—if you are a refuser (as specified in the hypothetical) and if the envelope does indeed contain $1000,000.
True, he would have to say something else, in the case where the envelope is empty.
Ah, yes, you’re right.
Now I’m not sure if I was correctly interpreting Eliezer’s point or just restating my own.