论文标题
两变量的逻辑具有薄弱但不强的贝丝可确定性
Two-variable logic has weak, but not strong, Beth definability
论文作者
论文摘要
我们证明，一阶逻辑的两变量片段具有弱的Beth可确定性属性。这使得两变量的片段是自然逻辑，将弱和强的贝丝特性区分开，因为它没有强大的贝丝可置性能。
We prove that the two-variable fragment of first-order logic has the weak Beth definability property. This makes the two-variable fragment a natural logic separating the weak and the strong Beth properties since it does not have the strong Beth definability property.
