简化核的 Kohlberg 准则：一种正确的方法

Nguyen（2016, 2017）声称他发展了一套简化的 Kohlberg 准则，只需检验至多 $(n-1)$ 个联盟集的平衡性。该声明是不正确的。类似于 Nguyen 和 Thomas（2016），他错误地应用了 $(\phi \Rightarrow \bot) \Leftrightarrow \neg \phi$ 的间接证明。他在其所谓的主要结果证明中确立了一个真命题蕴含一个假命题。这是一个错误的陈述，此类假设必须被拒绝（参见 Meinhardt（2015, 2016a, 2016b, 2017））。执行逻辑正确的解释应立即引导他得出结论：其提出的算法是有缺陷的。特别是，他本应发现其方法中对测试条件 $(\cup_{j=1}^{k}\,T_{j})$ 施加的平衡性要求是不合适的。因此，不能期望这些算法中的任何一个能做出正确选择。这些所谓的算法设计错误，且无法与 Kohlberg 建立任何关联。因此，我们在（Meinhardt, 2017）中提出的反对意见经适当修改后仍然有效。特别是，他未能给出核的修正的必要和充分条件。