Pedersen

新理论证明严格多数推理不是有限公理化的

一篇发表在arXiv上的理论性笔记探讨了有限社会决策框架内严格多数推理的有限公理化问题。研究人员Moss和Pedersen此前引入了一个相干性标准，用于用有限可加测度表示多数判断。这项新工作证明，在有限设置中，这一标准不能被任何有界的有限片段所取代。该研究为每个k >= 1构造了一个最大标准框架，证明了社会决策框架的非相干性指数不存在统一的有限界限，从而解决了这一猜想。