Thanks, I think I understand now, and made some observations about EDT+SSA at the old thread. At this point I’d say this quote from the OP is clearly wrong:
So, we could say that CDT+SIA = EDT+SSA = UDT1.0; or, CDT=EDT=UDT for short.
In fact UDT1.0 > EDT+SSA > CDT+SIA, because CDT+SIA is not even able to coordinate agents making the same observation, while EDT+SSA can do that but not coordinate agents making different observations, and UDT1.0 can (probably) coordinate agents making different observations (but seemingly at least some of them require UDT1.1 to coordinate).
Agreed. I’ll at least edit the post to point to this comment.
Thanks, I think I understand now, and made some observations about EDT+SSA at the old thread. At this point I’d say this quote from the OP is clearly wrong:
In fact UDT1.0 > EDT+SSA > CDT+SIA, because CDT+SIA is not even able to coordinate agents making the same observation, while EDT+SSA can do that but not coordinate agents making different observations, and UDT1.0 can (probably) coordinate agents making different observations (but seemingly at least some of them require UDT1.1 to coordinate).
Agreed. I’ll at least edit the post to point to this comment.