论文标题
在弱的单层二阶逻辑中的密集线性顺序的模型完整性
Model-completeness for a dense linear order in weak monadic second order logic
论文作者
论文摘要
我们提出了一个简化的，（希望）（希望）可访问的证明，证明了弱的单层二阶版本的密集线性订单的模型完整性，其左端是左端，但在特定有限的签名中没有右端。我们还展示了如何用于建立一个有限的工会晶格的模型完整性，该晶格是密集线性顺序的封闭间隔，即在（密集有序的）O-最低结构中封闭的可定义子集的晶格，具有特别简单的签名（特别简单的签名）（包含联盟和两个常数符号和四个符号符号和四个元素符号和四个核心符号）。
We present a streamlined and (hopefully) accessible proof of the model-completeness of the weak monadic second order version of a dense linear order with left-endpoint but no right-endpoint in a particular finite signature. We also show how this can be used to establish model-completeness of the lattice of finite unions of closed intervals of a dense linear order, i.e. the lattice of closed definable subsets in a (densely ordered) o-minimal structure, in a particularly simple signature (comprising binary functions for union and intersection together with two constant symbols and four unary function symbols).
