本文为选择者相对的无序法则发展了一种紧凑的形式语义。其动机是提出一个无序的基质不是一个随机对象，不是一个算法随机序列，也不是一个缺少测度的概率空间。它是一个对象，其指定可达的结构片段相对于指定的选择者类缺乏稳定的经典估值。我们使用Priest风格的准一致逻辑（LP）作为工具。非经典值被解读为选择前的结构过度可接纳性：在选择之前，相互不兼容的结构延续可能仍然共同可接纳，而无论它们是否在基质中内在编码。为了避免将过度可接纳性简化为单纯的不可接纳性，LP层被限制为一个可达的结构片段。选择者被建模为决议算子，将未解决的结构估值转化为经典或部分经典的可观察结构。该框架证明了关于选择者相对性、残余无序、选择器扩展下的单调性、不完全决议，以及概率的后选择状态的基本但有用的事实.
亚历山大·巴卡洛夫（Aleksandar Bakalov）（周二）研究了这个问题.