Gurkenglas comments on MIRI/​OP exchange about decision theory

[Gurkenglas]

Is there/​Should there be a boolean table of undominated decision theories vs. enough problems to disprove any domination?