Yes, I think this kind of cooperation would only work for UDT agents (or agents who are uncertain about whether they are in someone’s imagination or whatever).
A reader who isn’t sympathetic to UDT can just eliminate the whole passage “But there are still options: …”, it’s not essential to the point of the post. It only serves to head off the prospect of a UDT-advocate arguing that the agent is being unreasonable by working at cross-purposes to itself (and I should have put this whole discussion in an appendix, or at least much better sign-posted what was going on).
Yes, I think this kind of cooperation would only work for UDT agents (or agents who are uncertain about whether they are in someone’s imagination or whatever).
A reader who isn’t sympathetic to UDT can just eliminate the whole passage “But there are still options: …”, it’s not essential to the point of the post. It only serves to head off the prospect of a UDT-advocate arguing that the agent is being unreasonable by working at cross-purposes to itself (and I should have put this whole discussion in an appendix, or at least much better sign-posted what was going on).