交互信念模型中的参与者对模型本身具有元确定性吗？

在交互信念模型中，参与者是否“共同元确定”于模型本身？本文形式化了此种隐式的“共同元确定性”假设。为此，本文将参与者的信念对象从事件扩展为定义在底层状态上的函数。进而，本文定义了一个参与者的信念生成映射：它将每个状态与该参与者在该状态下是否相信每个事件相关联。本文形式化了如下含义：“一个参与者（元）确定于其自身的信念生成映射”或“参与者们（元）确定于信念生成映射的轮廓（即模型）”。本文表明：一个参与者（元）确定于其自身的信念生成映射，当且仅当其信念是可内省的。参与者们共同（元）确定于模型，当且仅当，对于在某个状态下某个参与者 i 所相信的任一事件，在该状态下参与者 i 相信该事件是共同信念。本文随后追问：对于博弈论解概念的认知刻画，“共同元确定性”假设是否必要。本文表明：若每个参与者是逻辑的且（元）确定于其自身策略和信念生成映射，则每个参与者正确相信其自身的理性。因此，仅理性上的共同信念即可导出在严格劣行动迭代消去后存活的行动。